Assertion list for term "located under the slab".

Results from Ascent++: 1
leak ReceivesActionlocated under the slab 0.27