Add functions to normalize an automaton:

 (1) Ensures that adding transitions leaves them pairwise disjoint
 (2) Add a function to complete an automaton with dummy states
 (3) Add a normalization function that replaces negative atoms with
     a positive state recognizing the complement