nitcc: Handle case of DFA state with a unique Any transition