let
pp_var fmt x = pp_term fmt (
Fol
.e_var x)