Refact NFA