Base:
method
ReachableBottomState
Microsoft.CodeAnalysis.CSharp.AbstractFlowPass<TLocalState, TLocalFunctionState>.ReachableBottomState()