AnimatedBinaryTree fixes