Characteristic predicate TranslatedBinaryOperation::TranslatedBinaryOperation

TranslatedBinaryOperation()