Reglas de alcance estático

[cristianll]

Hola a todos, tengo una duda con el siguiente ejercicio, me pide que diga cuál es el problema si se le aplica reglas de alcance estático pero no logro encontrar, el código es el siguiente:

Código:

function main(){
var a=5,b=7,c;
function p1(a){
     a=b+c;
     c=a+c;
     }
function p2(c){
     var b=11;
     function p3(){
        var b=5;
        b=a+b;
        c=c+b;
        p4();
      }
      function p4(){
         var a=19;
         b=a+c;
      }
      c=b+c;
      a=a+c;
      p1(b);
      p3();
      }
c=a*b;
p2(b);
}

Yo creí que una variable capaz era inaccesible pero cuando lo desarrollé pude acceder a las variables de cada registro, o capaz que me he confundido, si alguien sabe que puede ser?
Muchas gracias.
Saludos.