Add congr congr refinement + fix refine_with_incl set in enums
Add congr congr refinement + fix refine_with_incl set in enums

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