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