IReadOnlyList<Property> ConstraintEquation.Properties { get; }