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