同じ< pattern >が複数あった場合、どの< pattern >が処理されますか?

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