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