Small working stub supporting verbose results

Per position information of the state mutations tree root nodes. Only
works without optimizations right now. Next step is cache support then
pattern support.