visit* メソッドをオーバーライドするときに、ステートメントの基本ブロック ID (blockID) を取得するにはどうすればよいですか?
たとえば、以下に示す基本ブロックの場合、VisitIfStmt() が訪問されたとき、この訪問メソッド内で blockID を取得する方法は?
[B4]
1: x == 0
T: if [B4.1]
Preds (1): B6
Succs (2): B3 B2