avoid stopping reasoner problem.