Assertion list for term "stack size".
Results from Ascent++: 1
memory → UsedFor → stack size 0.47