Some more comments

src/lib/CoAlgReasoner.ml

@@ -132,6 +132,9 @@ let lhtMustFind lht l =
   | Some f -> f
   | None -> assert false
 
+
+(* Gets a list of Things we know are unsatisfiable and propagates this
+   information backwards *)
 let rec propagateUnsat = function
   | [] -> ()
   | propElem::tl ->