fixed problem of counterstrategy not fulfiling env liveness