Clean up privatization code in base.ml; not enough for #27.
Clean up privatization code in base.ml; not enough for #27.

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