Assertion list
root (aspect of palm ) → ReceivesAction
Results from Ascent++: 2
root → ReceivesAction → covered 0.41
root → ReceivesAction → exposed 0.25