let valid_choice_point : choice_point = { cp_id = -1; cp_split_literal = Term.null_literal; cp_right_splits = []; cp_valid = true; }