diff --git a/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py b/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py
index b739debc..a3666062 100644
--- a/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py
+++ b/mythril/laser/ethereum/plugins/implementations/plugin_annotations.py
@@ -1,5 +1,4 @@
 from mythril.laser.ethereum.state.annotation import StateAnnotation
-from mythril.laser.smt import If
 
 from copy import copy
 from typing import Dict, List, Set
diff --git a/mythril/laser/ethereum/plugins/implementations/state_merge.py b/mythril/laser/ethereum/plugins/implementations/state_merge.py
index ee7d153e..c4824ca9 100644
--- a/mythril/laser/ethereum/plugins/implementations/state_merge.py
+++ b/mythril/laser/ethereum/plugins/implementations/state_merge.py
@@ -2,10 +2,8 @@ from copy import copy
 from typing import Dict, List
 from mythril.laser.ethereum.svm import LaserEVM
 from mythril.laser.ethereum.plugins.plugin import LaserPlugin
-from mythril.laser.smt import symbol_factory, simplify, Or
 from mythril.laser.ethereum.state.world_state import WorldState
 import logging
-import z3
 
 log = logging.getLogger(__name__)