MakeNFA macro implemented.