let strip_solver_pool = function SolverPool p -> p | _ -> assert false