diff --git a/VSharp.IL/CFG.fs b/VSharp.IL/CFG.fs
index c11486d8a..e82a5bc24 100644
--- a/VSharp.IL/CFG.fs
+++ b/VSharp.IL/CFG.fs
@@ -598,10 +598,6 @@ type ApplicationGraph(getNextBasicBlockGlobalId) =
                 newState.CodeLocation.BasicBlock.IsVisited
                 || newState.CodeLocation.offset = newState.CodeLocation.BasicBlock.FinalOffset
 
-    let addStates (parentState : Option<IGraphTrackableState>) (states : array<IGraphTrackableState>) =
-        // Not implemented yet
-        ()
-
     let getShortestDistancesToGoals (states : array<codeLocation>) =
         __notImplemented__()
 
diff --git a/VSharp.SILI/SILI.fs b/VSharp.SILI/SILI.fs
index 158d87796..3ace525e1 100644
--- a/VSharp.SILI/SILI.fs
+++ b/VSharp.SILI/SILI.fs
@@ -358,9 +358,7 @@ type public SILI(options : SiliOptions) =
             if searcher :? BidirectionalSearcher && (searcher :?> BidirectionalSearcher).ForwardSearcher :? AISearcher && ((searcher :?> BidirectionalSearcher).ForwardSearcher :?> AISearcher).InAIMode
             then stepsPlayed <- stepsPlayed + 1u
             if statistics.CurrentExplorationTime.TotalMilliseconds >= timeout
-            then x.Stop()
-            
-        while not isStopped && not <| isStepsLimitReached() && not <| isTimeoutReached() && pick() do
+            then x.Stop()                   
             if shouldReleaseBranches() then
                 releaseBranches()
             match action with