Copy method for Automaton added. Bug fix in union calcualtion.