public void add(AstBase n)
        {
            if (n instanceof AstPara)
                {
                m_paras.add((AstPara) n);
                }
            else
                {
                super.add(n);
                }
        }