let eq_unit_clause (id1,_,_,_) (id2,_,_,_) = id1 = id2
let compare_unit_clause (id1,_,_,_) (id2,_,_,_) = Pervasives.compare id1 id2
let eq_unit_clause (id1,_,_,_) (id2,_,_,_) = id1 = id2
let compare_unit_clause (id1,_,_,_) (id2,_,_,_) = Pervasives.compare id1 id2