public override void Print(TextWriter s) { s.Write("("); if (m_sub!=null) m_sub.Print(s); s.Write("|"); if (m_alt!=null) m_alt.Print(s); s.Write(")"); }