Searched refs:id1743 (Results 1 – 1 of 1) sorted by relevance
831 Expr id1743=vc->leExpr(id1741,id1621); in testgeorge1() local832 Expr id1742=vc->notExpr(id1743); in testgeorge1()833 vc->registerAtom(id1743); in testgeorge1()