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