Try fix for CircleCI failure

mythril/laser/ethereum/svm.py

@@ -13,10 +13,8 @@ from mythril.laser.ethereum.iprof import InstructionProfiler
 from mythril.laser.ethereum.plugins.signals import PluginSkipWorldState
 from mythril.laser.ethereum.state.global_state import GlobalState
 from mythril.laser.ethereum.state.world_state import WorldState
-from mythril.laser.ethereum.strategy.basic import (
-    BasicSearchStrategy,
-    DepthFirstSearchStrategy,
-)
+from mythril.laser.ethereum.strategy.basic import DepthFirstSearchStrategy
+from abc import ABCMeta
 from mythril.laser.ethereum.time_handler import time_handler
 from mythril.laser.ethereum.transaction import (
     ContractCreationTransaction,
@@ -105,7 +103,7 @@ class LaserEVM:
 
         log.info("LASER EVM initialized with dynamic loader: " + str(dynamic_loader))
 
-    def extend_strategy(self, extension: BasicSearchStrategy, *args) -> None:
+    def extend_strategy(self, extension: ABCMeta, *args) -> None:
         self.strategy = extension(self.strategy, args)
 
     def sym_exec(