Parser for Rust source code extended to support Verus
A minimal `syn` syntax tree pretty-printer adapted for Verus