Port: Automaton/SortedIntSet