Searched refs:id4155 (Results 1 – 1 of 1) sorted by relevance
1496 Expr id4155=vc->ltExpr(id653,id875); in testgeorge1() local1497 Expr id4154=vc->notExpr(id4155); in testgeorge1()1498 vc->registerAtom(id4155); in testgeorge1()