Introduce trace analysis with trivial motivating example