Modified the BinaryOperator translator.