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