Tag phaser automata2