WyRL: Fixed countless bugs in StrategyRewriter, but still no joy overall.
There are a lot of problems related to correct maintenance of undo information, and there is at least one known bug related to the Automaton.substitute() method.  However, there is an infinite loop on the example ConstraintList_Valid_25 which is unrelated to that.