tm: t_append_branches extra checks for cancelled transaction