Fix smt translation that lead to incongruent results when carry flag is involved (and maybe also in other scenaries: like mov ebx,  in 64bit. Don't known if this fix can broke something, or if is the REIL translation that should be fixed