Added translation for "yield" statements.
* Written as `__SMACK_yield(..)` at the C/LLVM level.
* Written as `assume {:yield ..} true` at the Boogie level.