Typos & rename first `invariant` in `base.ml` to `invariant_fallback`
Typos & rename first `invariant` in `base.ml` to `invariant_fallback`

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