Added nfa construction for alternation/unions.