let
get_branch (state: state) : choice_point list =
state.st_branch