some changes to solvers & workaround to the BatHashtbl find_default bug
some changes to solvers & workaround to the BatHashtbl find_default bug

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer