Assertion list
brand promise (subgroup of promise ) → ReceivesAction
Results from Ascent++: 1
brand promise → ReceivesAction → broken 0.59