diff --git a/dhscanner-bitcode.cabal b/dhscanner-bitcode.cabal
--- a/dhscanner-bitcode.cabal
+++ b/dhscanner-bitcode.cabal
@@ -20,7 +20,7 @@
     in mind. The commands resemble an abstract RISC-style assembley, motivated by keeping
     later-phases analyses as simple as possible.
 
-version:            1.0.16
+version:            1.0.17
 license:            GPL-3.0-only
 license-file:       LICENSE
 author:             OrenGitHub
diff --git a/src/Cfg.hs b/src/Cfg.hs
--- a/src/Cfg.hs
+++ b/src/Cfg.hs
@@ -69,7 +69,8 @@
 parallelNormalCfgs :: Content -> Content -> Cfg
 parallelNormalCfgs cfg1 cfg2 = let
     s = mkNewEntry (entry cfg1)
-    t = mkNewExit (exit cfg2)
+    -- exit node shares the exact location of the if statement
+    t = mkNewExit (entry cfg2)
     c1 = Edge { from = s, to = entry cfg1 }
     c2 = Edge { from = s, to = entry cfg2 }
     c3 = Edge { from = exit cfg1, to = t }