let reset_all () =
  solverstate := [ Single (Hashtbl.create def_mapping_size) ]