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