「Control Flow Graph (CFG)」の平坦化において、次に実行するブロックを決定する変数を何と呼ぶか。

状態変数の値に基づいてswitch文のようなディスパッチャが次の中継先を決定する。