Forgot to uncomment some assertions in generic adaptive traversal