simplified nodfa functionality in atn sim.