Disable exp.widen-context in svcomp21
Disable exp.widen-context in svcomp21

Testing shows it slows us down instead.

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