Assertion list
prefix (primary) → AtLocation
Results from Ascent++: 1
prefix → AtLocation → first hash table entry 0.32