remove cider-tracing