Assertion list for term "formed with pusher link".

Results from Ascent++: 1
coupling ReceivesActionformed with pusher link 0.25