let
pp_var fmt v = fprintf fmt
"%s"
(
Fol
.var_name v)