Predicate MakeImplStage1::ImplStage1::Stage1::revFlow
Holds if node is part of a path from a source to a sink.
The Boolean toReturn records whether the node must be returned from
the enclosing callable in order to reach a sink.
Import path
import codeql.dataflow.internal.DataFlowImplStage1