Hunting bug in incremental minimiser
Hunting bug in incremental minimiser

Am hunting a tricksy bug in the incremental automaton minimiser.  The
bug presents itself as the child of a reachable state being null.  This
would seem to be related somehow to the collapseEquivalent() function,
but I don't see any mistakes.

Whiley/WhileyRewriteLanguage