Assertion list for term "implemented as single-".

Results from Ascent++: 1
pacemaker ReceivesActionimplemented as single- 0.25