PS: Generalize getARead.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/dataflow/Ssa.qll

@@ -9,7 +9,8 @@ module Ssa {
   private import semmle.code.powershell.Cfg
   private import powershell
   private import internal.SsaImpl as SsaImpl
-  private import CfgNodes::ExprNodes
+  private import CfgNodes
+  private import ExprNodes
 
   /** A static single assignment (SSA) definition. */
   class Definition extends SsaImpl::Definition {
@@ -23,7 +24,7 @@ module Ssa {
     }
 
     /** Gets a control-flow node that reads the value of this SSA definition. */
-    final VarReadAccessCfgNode getARead() { result = SsaImpl::getARead(this) }
+    final AstCfgNode  getARead() { result = SsaImpl::getARead(this) }
 
     /**
      * Gets a first control-flow node that reads the value of this SSA definition.

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

@@ -209,10 +209,10 @@ private module Cached {
   }
 
   cached
-  VarReadAccessCfgNode getARead(Definition def) {
+  AstCfgNode getARead(Definition def) {
     exists(SsaInput::SourceVariable v, Cfg::BasicBlock bb, int i |
       Impl::ssaDefReachesRead(v, def, bb, i) and
-      variableReadActual(bb, i, v) and
+      SsaInput::variableRead(bb, i, v, true) and
       result = bb.getNode(i)
     )
   }