はい、その通りです
「時〜する」はテキストが統一されてない頃の書き方で、「場合〜する」と全く同じです
再録される際には必ず「場合〜する」になっています
>>238
遊戯王では発動し、その後効果処理をすることで効果が適用されます
チェーンというのは、まず発動だけをお互いに確認しあって積み重ね、どちらも発動することがなくなったら逆順処理、つまり後にチェーンしたものから順番に効果処理をします
今回の場合のチェーン処理は、マスク・チェンジの効果でインクリースを墓地に送りダークロウを特殊召喚、無限泡影で無効にしたいものの対象にしたカードが無くなっているので不発、そしてインクリースの効果でデッキから特殊召喚、となります