IReadOnlyList<Property> InitialConditions.VisibleProperties { get; }