Start to fix the worklist problem (worklist should contain Traces, not
States).