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