例
					コントロール フローグラフ															ドミネータ ツリー
									1																1
														ヘッダ
																									2
									2
																		ヘッダ
											3
																											3
																						6
								後続ノード
																									4					5
				6									5
																					バックエッジ