WyRL: Bug fix for #403.
A situation existed where the reachable information maintained by
IterativeRewriter could get out of sync after a minimise() operation was
made.  This is now fixed, though it could be more efficient.