let d_const a =
  match d_interp a with
    | Sym.Const(c), [] -> c
    | _ -> raise Not_found