let pold ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) p = match p.content with | Ptrue | Pfalse -> p | _ -> {p with content = Pold p; loc = loc}