Contribution paper for SVCOMP 2015 describing SMACK