Searched refs:id1243 (Results 1 – 1 of 1) sorted by relevance
475 Expr id1243=vc->eqExpr(id895,id495); in testgeorge1() local476 Expr id1242=vc->notExpr(id1243); in testgeorge1()477 vc->registerAtom(id1243); in testgeorge1()