let weight_of_clause (clause: clause) : int = List.fold_left (fun weight literal -> weight + weight_of_literal literal) 0 clause