focused_newtaken_branch_handler semantics