let set_branch (state: state) (branch: choice_point list) : unit =
  state.st_branch <- branch