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