Interval.invariant_ikind: Use correct ikind when generating invariant for singeltons and do not cast to 63-bit integer, which might fail
Interval.invariant_ikind: Use correct ikind when generating invariant for singeltons and do not cast to 63-bit integer, which might fail

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