Create BinaryTree.maude