Refactor. NFA can use free move state.