Add Csp_solver.interrupt