DefExc.cast_to: Excluded: use range of target type (more precise)
DefExc.cast_to: Excluded: use range of target type (more precise)

This failed before, but now somehow works.

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