WyRL: attempting to resolve the final step of the fix for #382.
The key problem is that of identifying when the automaton has not changed after a reduction, which is necessary for an inference rule to be applied.