static string GetBinaryOperatorText(BinaryOperatorType op) { return BooPrinterVisitor.GetBinaryOperatorText(op); }