let invalidate_choice_point (choice_point: choice_point) : unit =
  if Const.debug && (choice_point == valid_choice_point) then begin
    failwith "State.invalidate_choice_point: valid_choice_point";
  end;
      
  choice_point.cp_valid <- false