Searched refs:id1763 (Results 1 – 1 of 1) sorted by relevance
851 Expr id1763=vc->leExpr(id1761,id875); in testgeorge1() local852 Expr id1762=vc->notExpr(id1763); in testgeorge1()853 vc->registerAtom(id1763); in testgeorge1()