Bug in toRegex function in Automaton class #8
Description
The toRegex function in certain cases diverges. This is due to the lack of heuristics in the linear equation solver that solve more faster the equations associated to the initial state equation.