Merge pull request #21999 from aschackmull/cfg/parameter-pattern

Cfg: Distinguish parameters from their patterns.

java/ql/lib/semmle/code/java/ControlFlowGraph.qll

@@ -61,6 +61,8 @@ private module Ast implements AstSig<Location> {
   class Parameter extends AstNode {
     Parameter() { none() }
 
+    AstNode getPattern() { none() }
+
     Expr getDefaultValue() { none() }
   }