nitcc: a empty automaton has at least a start state, even if non-terminal