Remove assert specific to flat ints that will fail when using more poerful domain
Remove assert specific to flat ints that will fail when using more poerful domain

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