Assertion list for term "used in sme".

Results from Ascent++: 1
solution ReceivesActionused in sme 0.28