Assertion list for term "allocated to application".

Results from Ascent++: 1
memory ReceivesActionallocated to application 0.57