IReadOnlyList<Property> ConstraintEquation.VisibleProperties { get; }