binarytree: index RESTRICT, for ACCEPT_RESTRICT