diff --git a/src/prototype/system_update_fn.rs b/src/prototype/system_update_fn.rs
index 03078ee..a7c397b 100644
--- a/src/prototype/system_update_fn.rs
+++ b/src/prototype/system_update_fn.rs
@@ -1,9 +1,10 @@
+#![allow(dead_code)]
+
 // todo how to work with the "variables" that are not mentioned in the listOfTransitions?
 
 use std::{collections::HashMap, io::BufRead};
 
 use biodivine_lib_bdd::{BddPartialValuation, BddValuation, BddVariable, BddVariableSetBuilder};
-use xml::EventReader;
 
 use crate::{
     SymbolicDomain, UnaryIntegerDomain, UpdateFn, UpdateFnBdd, VariableUpdateFnCompiled, XmlReader,
diff --git a/src/prototype/update_fn.rs b/src/prototype/update_fn.rs
index b1a4bf5..110a720 100644
--- a/src/prototype/update_fn.rs
+++ b/src/prototype/update_fn.rs
@@ -3,7 +3,6 @@ use crate::{expect_closure_of, expect_opening_of, process_list, StartElementWrap
 use super::expression::Expression;
 use super::utils::expect_opening;
 use std::{io::BufRead, str::FromStr};
-use xml::reader::EventReader;
 
 /// represents collection of tuples of the result values and the associated conditions. there is also the default value.
 /// todo think about how the functions should be evaluated - should we allow the conditions to "overlap" and say that the first one counts?
diff --git a/src/prototype/update_fn_bdd.rs b/src/prototype/update_fn_bdd.rs
index 6a9ab07..6d4df19 100644
--- a/src/prototype/update_fn_bdd.rs
+++ b/src/prototype/update_fn_bdd.rs
@@ -1,4 +1,4 @@
-use std::{collections::HashMap, ops::RangeBounds};
+use std::collections::HashMap;
 
 use biodivine_lib_bdd::{
     Bdd, BddPartialValuation, BddValuation, BddVariableSet, BddVariableSetBuilder,
diff --git a/src/prototype/update_fn_compiled.rs b/src/prototype/update_fn_compiled.rs
index db168c0..214ae8b 100644
--- a/src/prototype/update_fn_compiled.rs
+++ b/src/prototype/update_fn_compiled.rs
@@ -34,8 +34,6 @@ impl<D: SymbolicDomain<u8>> From<UpdateFnBdd<D>> for VariableUpdateFnCompiled<D,
             .chain(std::iter::once(update_fn_bdd.default)) // the output for the last, default term
             .collect::<Vec<_>>();
 
-        let xd = update_fn_bdd.result_domain.symbolic_variables();
-
         let matrix = outputs
             .iter()
             .map(|numeric_output| {