IReadOnlyList<Property> EffectiveStressTracker.VisibleProperties { get; }