Internal Prusti `proc-macro` crate. Must be a separate crate from `prusti-contracts` due to Rust [limitations](https://doc.rust-lang.org/reference/procedural-macros.html).