let copy_solver solver =
  { solver with constraints = S.copy solver.constraints }