IReadOnlyList<Property> InitialConditions.Properties { get; }