Add __VERIFIER_assert definition to assert benchmarks in regression2sv-benchmarks
Add __VERIFIER_assert definition to assert benchmarks in regression2sv-benchmarks

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