对于下面的嵌套过程语言的程序，按照最近嵌套原则进行作用域分析，下面说法正确的是