Assertion list
program execution (subgroup of execution ) → ReceivesAction
Results from Ascent++: 2
program execution → ReceivesAction → passed to the line 0.68
program execution → ReceivesAction → routed through the path 0.68