Added result function.
+ A fix for smack-verify.py renaming.