Merged changes to smack-svcomp from the svcomp2015 branch.