reasoner cleanup