protected internal override void TraverseThrow(Throw @throw) { _writer.Write("throw"); if (@throw.Exception != null) { _writer.Write(" "); Traverse(@throw.Exception); } }