let
pp_var =
Fol_pretty
.pp_var