let
choice_point_to_string (choice_point: choice_point) : string =
id_to_string choice_point.cp_id