Assertion list for term "shown in dgm".

Results from Ascent++: 1
circuit ReceivesActionshown in dgm 0.29