modified smack-svcomp.py and .h