Removed possible bug in NFA *-op (wrong use of fold)