let pexists ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) (l,p) = match l with | [] -> p | _ -> match p.content with | Pfalse -> p | _ -> unamed ~loc (Pexists (l,p))