ILLink.Shared.DataFlow.ForwardDataFlowAnalysis<TValue, TState, TLattice, TBlock, TRegion, TControlFlowGraph, TTransfer, TConditionValue>.TraceEdgeInput(ILLink.Shared.DataFlow.IControlFlowGraph<TBlock, TRegion>.ControlFlowBranch, TValue)