Latest smack-svcomp.py with tokenization