diff --git a/lib/src/obdd/vectorize.rs b/lib/src/obdd/vectorize.rs
index 706de46..28dca52 100644
--- a/lib/src/obdd/vectorize.rs
+++ b/lib/src/obdd/vectorize.rs
@@ -23,5 +23,5 @@ where
     V: Deserialize<'de>,
 {
     let container: Vec<_> = serde::Deserialize::deserialize(des)?;
-    Ok(T::from_iter(container.into_iter()))
+    Ok(T::from_iter(container))
 }
diff --git a/server/src/double_labeled_graph.rs b/server/src/double_labeled_graph.rs
index 9f1034e..4171e51 100644
--- a/server/src/double_labeled_graph.rs
+++ b/server/src/double_labeled_graph.rs
@@ -92,7 +92,7 @@ impl DoubleLabeledGraph {
             .iter()
             .enumerate()
             .filter(|(i, _)| node_indices.contains(i))
-            .filter(|(_, node)| !vec![Var::TOP, Var::BOT].contains(&node.var()))
+            .filter(|(_, node)| [Var::TOP, Var::BOT].contains(&node.var()))
             .map(|(i, &node)| (i, node.lo().value()))
             .map(|(i, v)| (i.to_string(), v.to_string()))
             .collect();
@@ -103,7 +103,7 @@ impl DoubleLabeledGraph {
             .iter()
             .enumerate()
             .filter(|(i, _)| node_indices.contains(i))
-            .filter(|(_, node)| !vec![Var::TOP, Var::BOT].contains(&node.var()))
+            .filter(|(_, node)| [Var::TOP, Var::BOT].contains(&node.var()))
             .map(|(i, &node)| (i, node.hi().value()))
             .map(|(i, v)| (i.to_string(), v.to_string()))
             .collect();