Injector Internal::TRefinement
Import path
import semmle.javascript.SSATRefinement TRefinement(ReachableBasicBlock bb, int i, GuardControlFlowNode guard, SsaSourceVariable v)import semmle.javascript.SSATRefinement TRefinement(ReachableBasicBlock bb, int i, GuardControlFlowNode guard, SsaSourceVariable v)