Refactor klee-stats.