Assertion list
head line (subgroup of line ) → ReceivesAction
Results from Ascent++: 2
head line → ReceivesAction → written in red 0.68
head line → ReceivesAction → joined with the life line 0.28