MIR Gen - Fix wrong state tracking if first arm of a split scope diverges
MIR Gen - Fix wrong state tracking if first arm of a split scope diverges

thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc,thepowersgang/mrustc