added test automata
sanitize before union is neccessary
union for congruences moved from cli
edited white spaces
finite_aut: remove redundant tests

which were there before just to avoid unused variable warning
Merge remote-tracking branch 'martin/new_incl_interface' into refactoring_inclusion
aut_base: add a generic procedure for testing equivalence