Add comment on why ana.int.wrap_on_signed_overflow needs to enabled for test case
Add comment on why ana.int.wrap_on_signed_overflow needs to enabled for test case

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