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.DataFlowPrivatepredicate flowInsensitiveStep(Node node1, Node node2)