fix broken TreePattern
Add 'STAY' as a possible walk target
Another example
revise ToString