IReadOnlyList<Property> ContactPenetrationTracker.Properties { get; }