Inlined Boogie declarations.
* Use `__SMACK_code` for inline code.
* Use `__SMACK_decl` for a procedure-level declaration.
* Use `__SMACK_top_decl` for a top-level declaration.
* Refer to the previous commit for substitution syntax.