225     s4o.print(") || (!");

   225     s4o.print(") || (!");

   226     symbol->l_exp->accept(*this);

   226     symbol->l_exp->accept(*this);

   227     s4o.print(" && ");

   227     s4o.print(" && ");

   228     symbol->r_exp->accept(*this);

   228     symbol->r_exp->accept(*this);

   229     s4o.print(")");

   229     s4o.print(")");

   230   }

   231   }

   231   if (search_expression_type->is_binary_type(left_type))

   232   if (search_expression_type->is_binary_type(left_type))

   232     return print_binary_expression(symbol->l_exp, symbol->r_exp, " ^ ");

   233     return print_binary_expression(symbol->l_exp, symbol->r_exp, " ^ ");

   233   ERROR;

   234   ERROR;

   234   return NULL;

   235   return NULL;