Fix Automaton library to match PLDI paper.