external set_remove_subsumed_clauses : bool -> unit = "icsat_set_remove_subsumed_clauses"