Duplication inclusion function declaration removed
Added constructor for automata duplication
Fixed disjunct auts
another fix in uniondisjunct state - startsymbolset copying