Add Counter Post Conditions
Apply Resolved State and Counter Post Cond To BotLife