WYONE: more bug fixes for the automaton minimisation process.
WYONE: more bug fixes for the automaton minimisation process.

hjwylde/whiley-compiler,Whiley/WhileyCompiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler,hjwylde/whiley-compiler