回答編集履歴

 

  ここで、変数`a`への代入式があるので、Pythonが`a`を関数`abc`のlocal変数だろうと解釈してしまうのですね。ところが、`a`自身の定義、つまり右辺式`a + 7`に`a`が含まれています。つまり、(右辺式の)未定義の`a`を使って(左辺式の)`a`を定義しようとして`local variable 'a' referenced before assignment`が発生したわけですね。