fix assert
kill klee after the work is done
add VERIFIER_error

replace VERIFIER_error by assert
Due to new rules of sv-comp