diff --git a/aalpy/oracles/WpMethodEqOracle.py b/aalpy/oracles/WpMethodEqOracle.py
index 2915a08c..692a8259 100644
--- a/aalpy/oracles/WpMethodEqOracle.py
+++ b/aalpy/oracles/WpMethodEqOracle.py
@@ -1,4 +1,4 @@
-from itertools import chain, tee, product
+from itertools import chain, product
 
 from aalpy.base.Oracle import Oracle
 from aalpy.base.SUL import SUL
@@ -39,6 +39,7 @@ def first_phase_it(alphabet, state_cover, depth, char_set):
                 for c in char_set:
                     yield s + m + c
 
+
 def second_phase_it(hyp, alphabet, difference, depth):
     """
     Return an iterator that generates all possible sequences for the second phase of the Wp-method.