allow human readable names for terms

Cargo.toml

@@ -6,7 +6,7 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-uplc = { git="https://github.com/SundaeSwap-finance/aiken.git", rev = "68965b52" }
+uplc = { git="https://github.com/SundaeSwap-finance/aiken.git", rev = "6ba2241" }
 # uplc = { path = "../aiken/crates/uplc" }
 num-bigint = "0.4"
 clap = { version = "4.5.3", features = ["derive"] }

src/main.rs

@@ -1,16 +1,18 @@
 mod app;
 mod utils;
 
+use std::collections::HashMap;
 use std::ffi::OsStr;
 use std::path::PathBuf;
+use std::rc::Rc;
 use std::{fs, process};
 
 use app::App;
 use clap::{command, Parser, Subcommand};
 use pallas::codec::minicbor::decode::Error;
 use pallas::ledger::primitives::babbage::Language;
 
-use uplc::ast::{FakeNamedDeBruijn, NamedDeBruijn, Program};
+use uplc::ast::{FakeNamedDeBruijn, Name, NamedDeBruijn, Program, Term, Unique};
 use uplc::machine::cost_model::{CostModel, ExBudget};
 use uplc::machine::{Machine, MachineState};
 use uplc::{parser, PlutusData};
@@ -75,6 +77,51 @@ fn main() -> Result<(), anyhow::Error> {
                 program = program.apply_data(data);
             }
 
+            let program: Program<Name> = Program::<Name>::try_from(program)?.try_into()?;
+
+            let mut terms_to_readable_names: HashMap<Unique, String> = HashMap::new();
+
+            let program = program
+                .clone()
+                .traverse_uplc_with(&mut |_, term, _, _| match term {
+                    Term::Var(name) => {
+                        let name = Rc::make_mut(name);
+                        let text = terms_to_readable_names
+                            .entry(name.unique)
+                            .or_insert(name.text.clone() + "-" + &name.unique.to_string())
+                            .to_string();
+                        *term = Term::Var(
+                            Name {
+                                text,
+                                unique: name.unique,
+                            }
+                            .into(),
+                        )
+                    }
+                    Term::Lambda {
+                        parameter_name,
+                        body,
+                    } => {
+                        let name = Rc::make_mut(parameter_name);
+                        let text = terms_to_readable_names
+                            .entry(name.unique)
+                            .or_insert(name.text.clone() + "-" + &name.unique.to_string())
+                            .to_string();
+                        *term = Term::Lambda {
+                            parameter_name: Name {
+                                text: text,
+                                unique: name.unique,
+                            }
+                            .into(),
+                            body: Rc::new(body.as_ref().clone()),
+                        };
+                    }
+                    _ => {}
+                });
+
+            let program: Program<NamedDeBruijn> =
+                Program::<NamedDeBruijn>::try_from(program)?.try_into()?;
+
             let mut machine = Machine::new(
                 Language::PlutusV2,
                 CostModel::default(),