Another bug fix for incremental automaton minimiser
Another bug fix for incremental automaton minimiser

This bug is simply related to the internal worklist that is used for
storing pairs of integers.  It needed to grow properly.

Whiley/WhileyRewriteLanguage