IReadOnlyList<Property> ContactPossibleOverconstraintTracker.VisibleProperties { get; }