let pred_neq e1 e2 = Fol.Papp ("neq", [e1; e2])