フローグラフの次に進む場所を決定するために、定義された順序でインスペクションされるケースの特定のリストを定義します。