Assertion list for term "used to implement function".

Results from Ascent++: 1
microprocessor ReceivesActionused to implement function 0.25