Bug-elimination, implementation of the cache and a buggy version of the Walker