public virtual void VisitProcedureConstant(ProcedureConstant pc) { writer.WriteHyperlink(pc.Procedure.Name, pc.Procedure); }