let pand ?(loc=Lexing.dummy_pos,Lexing.dummy_pos) (p1, p2) = match p1.content, p2.content with | Ptrue, _ -> p2 | _, Ptrue -> p1 | Pfalse, _ -> p1 | _, Pfalse -> p2 | _, _ -> unamed ~loc (Pand (p1, p2))