Remove unnecessary wrap_up_assert function in regression2sv-benchmarks
Remove unnecessary wrap_up_assert function in regression2sv-benchmarks

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