Assertion list for term "left on device".

Results from Ascent++: 1
space ReceivesActionleft on device 0.16