IReadOnlyList<Property> InitialCondition.VisibleProperties { get; }