Implemented interface member:
property
Top
ILLink.Shared.DataFlow.ILattice<TValue>.Top