Congruence: In normalize, account for overflows for definite values
Congruence: In normalize, account for overflows for definite values

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