tests/optimizer: removed an unnecessary xfail()
core/walker: completely pure interface (no hidden state mutations anymore)