unfocused_newtaken_branch_handler semantics.