Code as reference
Replace onestep by interpret of tagged automaton execution