Assertion list
property (aspect of bamboo ) → ReceivesAction
Results from Ascent++: 1
property → ReceivesAction → retained 0.59