Assertion list
bullet (primary) → UsedFor
Results from Ascent++: 1
bullet → UsedFor → hunting 0.46