IReadOnlyList<Property> ContactDepthTracker.Properties { get; }