ILLink.Shared.DataFlow.ForwardDataFlowAnalysis<TValue, TState, TLattice, TBlock, TRegion, TControlFlowGraph, TTransfer, TConditionValue>.TraceBlockOutput(TValue, TValue?, TValue?)