#Pass phases [INIT] FIRSTMAIN [PLAYER1] [PLAYER2] [DO] next #combat begin next #attackers next #combat end [ASSERT] COMBATEND [PLAYER1] life:20 [PLAYER2] life:20 [END]