github
diff --git a/‎csharp/ql/lib/Linq/Helpers.qll‎
Lines changed: 0 additions & 1 deletion b/‎csharp/ql/lib/Linq/Helpers.qll‎
Lines changed: 0 additions & 1 deletion
@@ -34,7 +34,6 @@ private predicate terminatesCallable(Stmt s) {
     or
     stripped =
       any(IfStmt nested |
-        exists(nested.getElse()) and
         terminatesCallable(nested.getThen()) and
         terminatesCallable(nested.getElse())
       )
Original file line number	Diff line number	Diff line change
`@@ -34,7 +34,6 @@ private predicate terminatesCallable(Stmt s) {`
`34`	`34`	`or`
`35`	`35`	`stripped =`
`36`	`36`	`any(IfStmt nested \|`
`37`		`- exists(nested.getElse()) and`
`38`	`37`	`terminatesCallable(nested.getThen()) and`
`39`	`38`	`terminatesCallable(nested.getElse())`
`40`	`39`	`)`