let is_empty a =
  try
    (match d_interp a with
      | Sym.Empty, [] -> true
      | _ -> false)
  with
      Not_found -> false