compile ok
gen big nfa ok
add nfa simple