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