fix bugs
fix NFA::merge