let rec is_true = function 
    | Fol.Ptrue -> true 
    | Fol.Pnamed(_,p) -> is_true p
    | _ -> false