Assertion list
binary tree (subgroup of tree ) → ReceivesAction
Results from Ascent++: 1
binary tree → ReceivesAction → balanced 0.43