Trace generation = OK