PS: Prevent join on boolean.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/controlflow/internal/ControlFlowGraphImpl.qll

@@ -427,15 +427,17 @@ module Trees {
     override predicate last(AstNode last, Completion c) {
       // Exit the loop body when the condition is false
       last(this.getCondition(), last, c) and
-      this.entersLoopWhenConditionIs(c.(BooleanCompletion).getValue().booleanNot())
+      this.entersLoopWhenConditionIs(pragma[only_bind_into](c.(BooleanCompletion)
+            .getValue()
+            .booleanNot()))
       or
       super.last(last, c)
     }
 
     override predicate succ(AstNode pred, AstNode succ, Completion c) {
       // Condition -> body
       last(this.getCondition(), pred, c) and
-      this.entersLoopWhenConditionIs(c.(BooleanCompletion).getValue()) and
+      this.entersLoopWhenConditionIs(pragma[only_bind_into](c.(BooleanCompletion).getValue())) and
       first(this.getBody(), succ)
       or
       // Body -> condition