bug fix: apply at traverse_correct_post_tree