Predicate VariableCapture::readStep
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate readStep(Node node1, CapturedVariableContent c, Node node2)
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
predicate readStep(Node node1, CapturedVariableContent c, Node node2)