focused_oldtaken_branch_handler semantics