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