adding files from the svcomp website, with customizations for smack