Minor changes in SolverTrace