diff --git a/crates/graph/src/nodes/var_ty.rs b/crates/graph/src/nodes/var_ty.rs
index 46773f12..7d5a0fd3 100644
--- a/crates/graph/src/nodes/var_ty.rs
+++ b/crates/graph/src/nodes/var_ty.rs
@@ -154,7 +154,6 @@ impl VarNode {
             .any(|attr| matches!(attr, VariableAttribute::Constant(_)))
         {
             if let Some(init) = self.underlying(analyzer)?.initializer {
-                println!("init: {:?}", analyzer.node(init));
                 if let Some(ty) = VarType::try_from_idx(analyzer, init) {
                     return Ok(Some(ContextVar {
                         loc: Some(loc),
diff --git a/crates/graph/src/solvers/brute.rs b/crates/graph/src/solvers/brute.rs
index d55a68b5..7bdb130a 100644
--- a/crates/graph/src/solvers/brute.rs
+++ b/crates/graph/src/solvers/brute.rs
@@ -497,8 +497,6 @@ impl SolcSolver for BruteBinSearchSolver {
         let _atomic = &self.atomics[i];
 
         let lmr = self.lmrs[i].clone();
-        // println!("solving: {i}, {}, successful passes: {}", atomic.idxs[0].display_name(analyzer).unwrap(), self.successful_passes);
-        // println!("initial range: [{min_s},{max_s}], is_const: {}", atomic.idxs[0].is_const(analyzer)?);
         match self.check(
             i,
             (lmr.low, lmr.mid, lmr.high),
diff --git a/crates/solc-expressions/src/func_call/helper.rs b/crates/solc-expressions/src/func_call/helper.rs
index 572237cf..aa25d418 100644
--- a/crates/solc-expressions/src/func_call/helper.rs
+++ b/crates/solc-expressions/src/func_call/helper.rs
@@ -78,19 +78,11 @@ pub trait CallerHelper: AnalyzerBackend<Expr = Expression, ExprErr = ExprErr> +
 
                         let fields = input.struct_to_fields(self).ok()?;
                         if !fields.is_empty() {
-                            println!(
-                                "fields: {:?}",
-                                fields
-                                    .iter()
-                                    .map(|i| i.name(self).unwrap())
-                                    .collect::<Vec<_>>()
-                            );
                             // bring along struct fields
                             fields
                                 .iter()
                                 .try_for_each(|field| -> Result<(), ExprErr> {
                                     let full_name = field.name(self).into_expr_err(loc)?;
-                                    println!("field: {full_name}");
                                     let field_names = full_name.split('.').collect::<Vec<_>>();
                                     let field_name =
                                         field_names.get(1).ok_or(ExprErr::MemberAccessNotFound(