let invalid_choice_point : choice_point = { cp_id = -2; cp_split_literal = Term.null_literal; cp_right_splits = []; cp_valid = false; }