diff --git a/aalpy/automata/Sevpa.py b/aalpy/automata/Sevpa.py
index 113ef9b6..f9b080d0 100644
--- a/aalpy/automata/Sevpa.py
+++ b/aalpy/automata/Sevpa.py
@@ -52,7 +52,8 @@ class SevpaState(AutomatonState):
 
     def __init__(self, state_id, is_accepting=False):
         super().__init__(state_id)
-        self.transitions = defaultdict(List[SevpaTransition])
+        # list of SevpaTransition
+        self.transitions = defaultdict(list)
         self.is_accepting = is_accepting
 
 
diff --git a/aalpy/oracles/BreadthFirstExplorationEqOracle.py b/aalpy/oracles/BreadthFirstExplorationEqOracle.py
index 378938d6..dfa45378 100644
--- a/aalpy/oracles/BreadthFirstExplorationEqOracle.py
+++ b/aalpy/oracles/BreadthFirstExplorationEqOracle.py
@@ -28,8 +28,7 @@ def __init__(self, alphabet, sul: SUL, depth=5):
 
         # generate all test-cases
         for seq in product(self.alphabet, repeat=self.depth):
-            input_seq = tuple([i for sub in seq for i in sub])
-            self.queue.append(input_seq)
+            self.queue.append(seq)
 
         shuffle(self.queue)