Add test for surprising imprecision with ctx_insens base
Add test for surprising imprecision with ctx_insens base

Minimized from instrumented_cp_comb.c with __VERIFIER_assert function (not macro).

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