>>36
その a が使われているところで b に値（アドレス）を代入して、
b が関数として使われている。

代入の部分で意味解析が必要だと思う。
もし「b = a + 何らかの計算」とかだったら、
計算部分の意味解釈も必要でしょ。