traversal_check