def a():
    x = 2
    def b():
        z = x
#        x = 3
        print x
    b()
a()

если откомментить x = 3, то будет ошибка на предыдущей строке, что x ещё не объявлена..

я правильно понимаю, что оно всё-таки выполняется не построчно?.