Title: Trace analysis