Assertion list
memory (primary) → UsedFor
Results from Ascent++: 2
memory → UsedFor → buffer 0.59
memory → UsedFor → stack size 0.47