diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/asm/analysis/concolic/coverage/InstructionGraph.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/asm/analysis/concolic/coverage/InstructionGraph.kt
index 52e5be1b8..23bbd6b5e 100644
--- a/kex-runner/src/main/kotlin/org/vorpal/research/kex/asm/analysis/concolic/coverage/InstructionGraph.kt
+++ b/kex-runner/src/main/kotlin/org/vorpal/research/kex/asm/analysis/concolic/coverage/InstructionGraph.kt
@@ -179,16 +179,18 @@ class InstructionGraph(
                                 }
                             }.filter { it.hasBody }
                         }
+                        var connectedExits = false
                         for (candidate in resolvedMethods) {
                             queue += Triple(vertex, candidate.body.entry, 0)
                             queue.addAll(candidate.body.catchEntries.map { Triple(null, it, 0) })
 
                             candidate.body.flatten().filterIsInstance<ReturnInst>().forEach {
+                                connectedExits = true
                                 val returnVertex = nodes.getOrPut(it) { Vertex(it) }
                                 queue += Triple(returnVertex, block, index + 1)
                             }
                         }
-                        if (resolvedMethods.isEmpty()) {
+                        if (!connectedExits) {
                             queue += Triple(vertex, block, index + 1)
                         }
                     }