let pif ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) (t,p2,p3) =
match (p2.content,p3.content) with
| PtruePtrue  -> ptrue
| PfalsePfalse -> pfalse
| _,_ -> unamed ~loc (Pif (t,p2,p3))