Assertion list
path (aspect of eclipse ) → ReceivesAction
Results from Ascent++: 1
path → ReceivesAction → shown in figure 0.66