CLean up NFAReduction