MIR Gen Match - Fix edge case where DTN simplify didn't work
MIR Gen Match - Fix edge case where DTN simplify didn't work

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