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