Update min_cardinality_and_written_type.txt