Enums norm: Check whether range of Exc set is within the range of the ikind
Enums norm: Check whether range of Exc set is within the range of the ikind

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