Miracle: Add a unit test for state!
Add state.countTokens();
Give unused stats in depTree