Assertion list
label (primary) → UsedFor
Results from Ascent++: 2
label → UsedFor → anti 0.25
label → UsedFor → convenient identification of st… 0.25