binarytree: evaluate RESTRICT conditionals