Predicate VariableCapture::flowInsensitiveStep
Holds if there is control-flow insensitive data-flow from node1
to node2
involving a captured variable. Only used in lambda flow.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate flowInsensitiveStep(Node node1, Node node2)