avoid stopping reasoner problem, fixed.