Removed duplicate bin-tree-member-p declaration, since this throws a fatal
compilation error in some implementations.