void copyConsTest() { char str[100]; while (gets(str)) { Parser p(str); Formula *f = p.parse(); f->print(); puts(""); Predicate *pred = f->getPredicate(); Term *t = pred->getTermList()->getList()->at(0); puts("here"); Term w = *t; w.print(); puts("here"); w.setName("chan"); w.print(); puts(""); f->print(); puts(""); } }