comparesolver: variables that only exist in the result of one solver should not be bottom
comparesolver: variables that only exist in the result of one solver should not be bottom

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