let active_choice_point (state: state) : choice_point =
  match state.st_branch with
    | [] ->
        failwith "State.active_choice_point"

    | head :: _ ->
        head