IReadOnlyList<Property> ImportedTrace.VisibleProperties { get; }