Merge pull request #5204 from erik-krogh/inGuard

Approved by asgerf

javascript/ql/src/semmle/javascript/dataflow/Refinements.qll

@@ -324,7 +324,11 @@ class VarRefinementContext extends RefinementContext, TVarRefinementContext {
 }
 
 /** Holds if `e` is nested inside a guard node. */
-private predicate inGuard(Expr e) { e.getParentExpr*() = any(GuardControlFlowNode g).getTest() }
+private predicate inGuard(Expr e) {
+  e = any(GuardControlFlowNode g).getTest()
+  or
+  inGuard(e.getParentExpr())
+}
 
 /**
  * An abstract value of a refinement expression.