Assertion list
second phase (subgroup of phase ) → ReceivesAction
Results from Ascent++: 3
second phase → ReceivesAction → implemented 0.44
second phase → ReceivesAction → characterized 0.33
second phase → ReceivesAction → aimed 0.25