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