bookvol10.2 bug 7255: BinaryTreeCategory remove finiteAggregate

BinaryTreeCategory always has finiteAggregate. Remove the test.