move walk and walk helpers to analyzer.utils