IReadOnlyList<Property> EffectiveStrainTracker.Properties { get; }