let pred_eq e1 e2 = Fol.Papp ("eq", [e1; e2])