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