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