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