DefUseInterpreter binaryOperation() for xADD