AFAICT, Aeneas only supports a safe subset of Rust. I needed something that could support all of Rust