pub fn trace_transition(fi: usize, name: &str, to: ExecTier)
Emit a transition line iff the trace is enabled.