次のような、自身への変数の代入を検出します :

       a = a;