Clean up NFAReduction