985-BUG_translate_boolean_operator