let trace_remove = Trace.add