Added union of NFAs, check to make sure it works!