Internal Prusti proc-macro crate. Must be a separate crate from prusti-contracts due to Rust limitations.