let is_choice_point_valid (choice_point: choice_point) : bool =
  choice_point.cp_valid