Removed reasoner reset