itree_rotate_right  636 src/itree.c    	      itree_rotate_right (tree, node->parent->parent);
itree_rotate_right  656 src/itree.c    		  itree_rotate_right (tree, node);
itree_rotate_right  843 src/itree.c    		  itree_rotate_right (tree, other);
itree_rotate_right  862 src/itree.c    	      itree_rotate_right (tree, parent);
itree_rotate_right  888 src/itree.c    	      itree_rotate_right (tree, parent);