Merge pull request #4192 from max-schaefer/js/ssa__implicitinit

Approved by asgerf

javascript/ql/src/semmle/javascript/SSA.qll

@@ -737,6 +737,9 @@ class SsaRefinementNode extends SsaPseudoDefinition, TRefinement {
 }
 
 module SSA {
+  /** Gets the SSA definition corresponding to the implicit initialization of `v`. */
+  SsaImplicitInit implicitInit(SsaSourceVariable v) { result.getSourceVariable() = v }
+
   /** Gets the SSA definition corresponding to `d`. */
   SsaExplicitDefinition definition(VarDef d) { result.getDef() = d }