universal: modernize
Universal produces a plain automaton, it would be nicer to produce a decorated one. Decorators such as determinized_automaton should help. Partition automaton might help too, if it were weighted. Maybe both should be fused.
Also, there are opportunities to speed it up. Using bit sets for instance.
So, first enter it into score, then improve it.