added search order options
search odrder to cli
separation of search order functions
improved separation of search order
improved interface for choosing search order in congruence algorithm
fixed number of template parameters
merged new changes
Added equivalence option
renamed equivalence functor
added search order for equivalence
merge new interface
changed interface
changes automata to sanitized
debugging
asdf
removed debbug output
Added equivalence
Modified help due to equivalence
Added some comments
Comments edited