ana.int.congruence_no_overflow applies only to signed types
ana.int.congruence_no_overflow applies only to signed types

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