Disable refinement with excl sets for now
Disable refinement with excl sets for now

The result of refinement_with_excl_list sometimes is bottom when it
defenitely shouldn't be.

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