Assertion list
branch (aspect of oak ) → ReceivesAction
Results from Ascent++: 2
branch → ReceivesAction → removed 0.81
branch → ReceivesAction → cut 0.26