Assertion list
bloat (primary) → AtLocation
Results from Ascent++: 1
bloat → AtLocation → library funcs 0.25