quotient o quotient
Currently when we minimize and cominimize we get a partition_automaton of a partition_automaton of a mutable_automaton. It would be nicer to get a partition_automaton of the mutable_automaton: fuse the inner and outer partitions.