give up, some benches will simply produce BUG warnings from CIL
give up, some benches will simply produce BUG warnings from CIL

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