diff --git a/lib/src/adfbiodivine.rs b/lib/src/adfbiodivine.rs
index 6d57370..43228e9 100644
--- a/lib/src/adfbiodivine.rs
+++ b/lib/src/adfbiodivine.rs
@@ -326,17 +326,15 @@ impl Adf {
                 &biodivine_lib_bdd::boolean_expression::BooleanExpression::Const(true),
             ),
             |acc, (idx, formula)| {
-                acc.and(
-                    &formula.iff(
-                        &self.varset.eval_expression(
-                            &biodivine_lib_bdd::boolean_expression::BooleanExpression::Variable(
-                                self.ordering
-                                    .name(crate::datatypes::Var(idx))
-                                    .expect("Variable should exist"),
-                            ),
+                acc.and(&formula.iff(
+                    &self.varset.eval_expression(
+                        &biodivine_lib_bdd::boolean_expression::BooleanExpression::Variable(
+                            self.ordering
+                                .name(crate::datatypes::Var(idx))
+                                .expect("Variable should exist"),
                         ),
                     ),
-                )
+                ))
             },
         )
     }