is_preorder warning is_preorder preorder_note