Add pre/postwalk
Check scoping in fnk->call