static string GetUnaryOperatorText(UnaryOperatorType op) { return BooPrinterVisitor.GetUnaryOperatorText(op); }