Add should_be_same constraint on second input to second output of ia32_Minus64Bit.