Checking stack length using simplified walk is blazing fast
Use BaseCfgWalker to determine call parameters
Determining call parameters based on simplified cfg walker