failure because the minimization() algorithm is currently incorrect when applied to non-weak automata.