let pp_var fmt v =
  let name = Fol_decl.identifier (Fol.Var.var_name v) in
  fprintf fmt "%s" name