let
p_eq e1 e2 =
if
eq_terms e1 e2
then
Ptrue
else
p_app
"eq"
[e1; e2]