nitcc: rename `rfa` in `nfa`