IReadOnlyList<Property> ContactPossibleOverconstraintTracker.Properties { get; }