let
is_choice_point_invalid (choice_point: choice_point) : bool =
not choice_point.cp_valid