Assertion list
branch (aspect of union ) → ReceivesAction
Results from Ascent++: 3
branch → ReceivesAction → removed 0.16
branch → ReceivesAction → thrown into the fire 0.16
branch → ReceivesAction → closed 0.09