Fix several bugs in NFAParser