Internal Prusti crate implementing procedural macro processing.