let dnfToParametrized clausel =
List.fold_left
(fun cll cl ->
let onlypcond_cl =
List.fold_left
(fun res term -> match term with TRel _ -> term::res | _ -> res)
[]
cl
in
if onlypcond_cl=[] then cll else onlypcond_cl::cll
)
[]
clausel