Bug fix for incremental minimiser #19
Bug fix for incremental minimiser #19

The incremental minimiser was eliminated too many states in some cases.
In particular, it should never be eliminating a state which is also a
root!

Whiley/WhileyRewriteLanguage