Simplify eval-trace@.