;;
(*CSC: Debugging only *)
+(*
let get_constraints term =
let res = get_constraints term in
let (objs,rels,sorts) = res in
(function (p, s) -> prerr_endline (text_of_pos (p:>T.full_position) ^ " " ^ U.text_of_sort s)
) sorts ;
res
-;;
+;; *)
let universe =
[T.MainHypothesis; T.InHypothesis; T.MainConclusion; T.InConclusion]