let root_choice_point (state: state) : choice_point =
  state.st_root_choice_point