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