diff --git a/crates/graph/src/range/elem/expr.rs b/crates/graph/src/range/elem/expr.rs
index 6897a318..797a3ece 100644
--- a/crates/graph/src/range/elem/expr.rs
+++ b/crates/graph/src/range/elem/expr.rs
@@ -84,7 +84,7 @@ impl RangeExpr<Concrete> {
                     (false, 0)
                 }
             }
-            _ => (false, 0),            
+            _ => (false, 0),
         }
     }
 
diff --git a/crates/graph/src/solvers/atoms.rs b/crates/graph/src/solvers/atoms.rs
index 23f7d8f9..bdb1351f 100644
--- a/crates/graph/src/solvers/atoms.rs
+++ b/crates/graph/src/solvers/atoms.rs
@@ -254,7 +254,6 @@ pub trait Atomize {
 impl Atomize for Elem<Concrete> {
     #[tracing::instrument(level = "trace", skip_all)]
     fn atoms_or_part(&self, analyzer: &mut impl GraphBackend) -> AtomOrPart {
-
         match self {
             Elem::Arena(_) => self.dearenaize(analyzer).borrow().atoms_or_part(analyzer),
             Elem::Concrete(_) | Elem::Reference(_) => AtomOrPart::Part(self.clone()),
@@ -273,7 +272,7 @@ impl Atomize for Elem<Concrete> {
 
                 match (
                     expr.lhs.atoms_or_part(analyzer),
-                    expr.rhs.atoms_or_part(analyzer)
+                    expr.rhs.atoms_or_part(analyzer),
                 ) {
                     (ref lp @ AtomOrPart::Part(ref l), ref rp @ AtomOrPart::Part(ref r)) => {
                         // println!("part part");
diff --git a/crates/graph/src/solvers/dl.rs b/crates/graph/src/solvers/dl.rs
index 6a1abc5e..56783a0e 100644
--- a/crates/graph/src/solvers/dl.rs
+++ b/crates/graph/src/solvers/dl.rs
@@ -319,9 +319,16 @@ impl DLSolver {
         let basic: Vec<SolverAtom> = dl_solvable
             .iter()
             .filter_map(|var| {
-                let res: Vec<_> = var.iter().filter_map(|constraint| {
-                    if constraint.len() == 1 { Some(constraint.clone()) } else { None }
-                }).collect();
+                let res: Vec<_> = var
+                    .iter()
+                    .filter_map(|constraint| {
+                        if constraint.len() == 1 {
+                            Some(constraint.clone())
+                        } else {
+                            None
+                        }
+                    })
+                    .collect();
                 if res.len() == 1 {
                     Some(res)
                 } else {
@@ -345,9 +352,16 @@ impl DLSolver {
         let multi: Vec<_> = dl_solvable
             .iter()
             .filter_map(|var| {
-                let res: Vec<_> = var.iter().filter_map(|constraint| {
-                    if constraint.len() > 1 { Some(constraint.clone()) } else { None }
-                }).collect();
+                let res: Vec<_> = var
+                    .iter()
+                    .filter_map(|constraint| {
+                        if constraint.len() > 1 {
+                            Some(constraint.clone())
+                        } else {
+                            None
+                        }
+                    })
+                    .collect();
                 if res.len() > 1 {
                     Some(res)
                 } else {
@@ -780,7 +794,8 @@ impl DLSolver {
             RangeOp::Lt => {
                 // x < y
                 // x <= y - 1
-                let new_rhs = constraint.rhs
+                let new_rhs = constraint
+                    .rhs
                     .into_elem()
                     .wrapping_sub(Elem::from(Concrete::from(U256::one())))
                     .atoms_or_part(analyzer);