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