【ゲームの進め方について】山札切れ

スペルの解決中にメインデッキが０枚になった場合、解決中のスペルはデッキのリフレッシュに含まれてシャッフルされますか？

メインデッキの枚数が０枚のままスペルの効果を可能な限り解決し、スペルはトラッシュに置かれます。
その後リフレッシュを行います。