set_first_focused_cbranch_execorder semantics