ugly walk workaround for backward postwalks
first draft of locals-clearing annotation, it requires two different passes and a backward version of postwalk
reverse walk in childrens too
fix clear-locals
propagate function body info in letfn body
prevent clearing from letfn
clear locals in methods and case