let pp_var = Fol_pretty.pp_var