Member predicate Dataflow::DataflowAnnotation::assignedBy

predicate assignedBy(LocalScopeVariable v, ControlFlowNode src, ControlFlowNode dest)