WYRL: bug fix for substitution which was incorrectly minimising the automaton.