Congruences: Fix normalize after switch to correct rem instead of mod
Congruences: Fix normalize after switch to correct rem instead of mod

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