PS: Format, add a helper predicate and add an explicit 'this' to silence a warning.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/ast/internal/Parameter.qll

@@ -65,6 +65,8 @@ class PipelineByPropertyNameParameter extends Parameter instanceof PipelineByPro
    * Gets the iterator variable that is used to iterate over the elements in the pipeline.
    */
   PipelineByPropertyNameIteratorVariable getIteratorVariable() { result.getParameter() = this }
+
+  ProcessBlock getProcessBlock() { result = this.getIteratorVariable().getProcessBlock() }
 }
 
 /**

powershell/ql/lib/semmle/code/powershell/ast/internal/Synthesis.qll

@@ -26,7 +26,8 @@ newtype VarKind =
   PipelineIteratorKind() or
   PipelineByPropertyNameIteratorKind(string name) {
     exists(Raw::ProcessBlock pb |
-      name = pb.getScriptBlock().getParamBlock().getAPipelineByPropertyNameParameter().getLowerCaseName()
+      name =
+        pb.getScriptBlock().getParamBlock().getAPipelineByPropertyNameParameter().getLowerCaseName()
     )
   }
 

powershell/ql/lib/semmle/code/powershell/dataflow/internal/SsaImpl.qll

@@ -278,7 +278,7 @@ private module DataFlowIntegrationInput implements Impl::DataFlowIntegrationInpu
      * guard to `branch`.
      */
     predicate controlsBranchEdge(SsaInput::BasicBlock bb1, SsaInput::BasicBlock bb2, boolean branch) {
-      hasBranchEdge(bb1, bb2, branch)
+      this.hasBranchEdge(bb1, bb2, branch)
     }
     /**
      * Holds if the evaluation of this guard to `branch` corresponds to the edge