Added union of NFAs.