public override void PostWalk(CallExpr node)
 {
     MightNeedLocals |= node.MightNeedLocalsDictionary();
 }