verify the return value of append_branch()