同じ< pattern >が複数あった場合、どの< pattern >が処理されますか? グラフ構造に展開されたときに一番最後にくる< pattern >だけ処理されるので、同じ< pattern >を記述しないほうが望ましいです。