Part of the NFA parser