let id_of_choice_point (choice_point: choice_point) : int =
  choice_point.cp_id