Fix DefExc.norm for excluded values outside of ikind range
Fix DefExc.norm for excluded values outside of ikind range

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