diff --git a/.augre/config.toml b/.augre/config.toml
new file mode 100644
index 0000000000..00f6a85c1c
--- /dev/null
+++ b/.augre/config.toml
@@ -0,0 +1 @@
+openai_key="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"
diff --git a/benches/synthesis.rs b/benches/synthesis.rs
index ca6d7c5fce..3bb61d53c1 100644
--- a/benches/synthesis.rs
+++ b/benches/synthesis.rs
@@ -56,7 +56,7 @@ fn synthesize<M: measurement::Measurement>(
                 Arc::new(FoldingConfig::new_ivc(lang_rc.clone(), *reduction_count));
 
             let multiframe =
-                MultiFrame::from_frames(&frames, &store, folding_config.clone())[0].clone();
+                MultiFrame::from_frames(&frames, &store, &folding_config)[0].clone();
 
             b.iter_batched(
                 || (multiframe.clone()), // avoid cloning the frames in the benchmark
diff --git a/src/lem/circuit.rs b/src/lem/circuit.rs
index 7b2534154a..155545e345 100644
--- a/src/lem/circuit.rs
+++ b/src/lem/circuit.rs
@@ -899,9 +899,9 @@ fn synthesize_block<F: LurkField, CS: ConstraintSystem<F>, C: Coprocessor<F>>(
                 );
 
                 // The number is negative if the least significant bit of its double is 1
-                let a_is_negative = double_a_bits.get(0).unwrap();
-                let b_is_negative = double_b_bits.get(0).unwrap();
-                let diff_is_negative = double_diff_bits.get(0).unwrap();
+                let a_is_negative = double_a_bits.first().unwrap();
+                let b_is_negative = double_b_bits.first().unwrap();
+                let diff_is_negative = double_diff_bits.first().unwrap();
 
                 // Two numbers have the same sign if both are negative or both are positive, i.e.
                 let same_sign =
diff --git a/src/lem/multiframe.rs b/src/lem/multiframe.rs
index 37b43a6102..098db0fd11 100644
--- a/src/lem/multiframe.rs
+++ b/src/lem/multiframe.rs
@@ -195,12 +195,12 @@ impl<'a, F: LurkField, C: Coprocessor<F>> MultiFrame<'a, F, C> {
     pub fn from_frames(
         frames: &[Frame],
         store: &'a Store<F>,
-        folding_config: Arc<FoldingConfig<F, C>>,
+        folding_config: &Arc<FoldingConfig<F, C>>,
     ) -> Vec<Self> {
         let reduction_count = folding_config.reduction_count();
         let mut multi_frames =
             Vec::with_capacity((frames.len() + reduction_count - 1) / reduction_count);
-        match &*folding_config {
+        match folding_config.as_ref() {
             FoldingConfig::IVC(lang, _) => {
                 let lurk_step = Arc::new(make_eval_step_from_config(&EvalConfig::new_ivc(lang)));
                 for chunk in frames.chunks(reduction_count) {
@@ -1088,7 +1088,7 @@ mod tests {
         let folding_config = Arc::new(FoldingConfig::new_ivc(lang.clone(), 1));
 
         store.hydrate_z_cache();
-        MultiFrame::from_frames(&[frame], &store, folding_config)
+        MultiFrame::from_frames(&[frame], &store, &folding_config)
             .pop()
             .unwrap()
             .synthesize(&mut cs)
diff --git a/src/proof/tests/mod.rs b/src/proof/tests/mod.rs
index abbc388a8f..96901ad5de 100644
--- a/src/proof/tests/mod.rs
+++ b/src/proof/tests/mod.rs
@@ -170,7 +170,7 @@ where
         .synthesize(&mut cs_blank)
         .expect("failed to synthesize blank");
 
-    for (_i, multiframe) in multiframes.iter().enumerate() {
+    for multiframe in multiframes.iter() {
         let mut cs = TestConstraintSystem::new();
         let mut wcs = WitnessCS::new();