remove 'presolve' hook