Assertion list for term "done via the explain_output_message(3function".
Results from Ascent++: 1
printing → ReceivesAction → done via the explain_output_message(3function 0.25