cider-tracing is deprecated