I have updated the algorithm for both the problem Zjnue reported and the
one Ate reported. I've made one small change to Ate's suggested fix: I
save only the executable content in the hash table, not the whole
transition because we don't need the transition when it's time to apply
the executable content.