242243244245246247248249250251252
else if (ante.hasFTag(CTLibEn.FTAG_TPC)) { if (!ante.hasFTag(CTLibEn.FTAG_SBJ)) { CTNode parent = ec.getParent(); parent.removeChild(ec); replaceEC(parent, ante); } else removeCTNode(ec); }
384385386387388389390391392393394
{ CTNode parent = node.getParent(); if (parent != null) { parent.removeChild(node); if (parent.getChildrenSize() == 0) removeCTNode(parent); } }