Unified run_trace/trace_resolve_untraced interface (v0.2 -> v0.3)