IReadOnlyList<Property> ImportedTrace.Properties { get; }