Symbol: __to_inorder