IReadOnlyList<Property> EffectiveStressTracker.Properties { get; }