let pnot p = match p with
| Fol.Papp ("gt_int", l) -> Fol.Papp ("le_int", l)
| Fol.Papp ("lt_int", l) -> Fol.Papp ("ge_int", l)
| Fol.Papp ("ge_int", l) -> Fol.Papp ("lt_int", l)
| Fol.Papp ("le_int", l) -> Fol.Papp ("gt_int", l)
| Fol.Papp ("eq", l) -> Fol.Papp ("neq", l)
| Fol.Papp ("neq", l) -> Fol.Papp ("eq", l)
| p -> Fol.pnot p