Changing Imply() syntax of smoke example to reflect updates.
Merge pull request #49 from msushkov/master

Changing Imply() syntax of smoke example to reflect updates.