Beginning of minimization, missing: Automata construction from ineq.rel.
Some code, but not yet properly working
Minimization Working