>>629
雷神龍の1の効果は対象を取らない効果ですから、発動時には宣言のみ行い、どのカードを破壊するかは効果の処理時に選択します。
ですので質問の場合、どちらを破壊するかは効果の処理時にならないとわかりません。
ですが機械天使の儀式の2の身代わり効果は発動する効果ではないので、どちらが破壊される場合でも処理時に代わりに身代わりに除外できます。
発動する効果ではないので、身代わりをするしないは実際に効果処理時に破壊されるまで宣言する必要はありません。