update CodeTracer#finished?