fix the debug mode in the reasoner