Assertion list for term "used in execution of the instructions".
Results from Ascent++: 1
parameter → ReceivesAction → used in execution of the instructions 0.30