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