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