IReadOnlyList<Property> ContactStrainEnergyTracker.Properties { get; }