CharRewriter - remove overlooked smack specific call
CharRewriter - remove overlooked smack specific call

I missed a couple of __SMACK_* calls that needed to be converted to the
SVCOMP versions of these calls.

This commit corrects these overlooked calls.

MontyCarter/chauffeur,MontyCarter/chauffeur