Better translation for cmpxchg instruction.
* Uses Boogie conditional expressions.