Assertion list
share (primary) → AtLocation
Results from Ascent++: 1
share → AtLocation → issue 0.48