Add minimized version of sv-benchmarks product-lines/minepump_spec2_product33.cil.c (issue #139)
Add minimized version of sv-benchmarks product-lines/minepump_spec2_product33.cil.c (issue #139)

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