diff --git a/src/main/scala/leon/purescala/TreeOps.scala b/src/main/scala/leon/purescala/TreeOps.scala
index 26148a779e8683244b71b3317a141cc34706ec47..d0b9859e2260e7fa0b4b2a3574190e309c4714a1 100644
--- a/src/main/scala/leon/purescala/TreeOps.scala
+++ b/src/main/scala/leon/purescala/TreeOps.scala
@@ -1255,8 +1255,8 @@ object TreeOps {
         var continue = true
         Or(for(e <- es if continue) yield {
           val se = rec(e, extPath)
-          if(se == BooleanLiteral(true)) continue = true
-          extPath = se +: extPath
+          if(se == BooleanLiteral(true)) continue = false
+          extPath = Not(se) +: extPath
           se 
         })