final version (possibly) of smack-svcomp