Searched refs:id2367 (Results 1 – 1 of 1) sorted by relevance
5050 Expr id2367=vc->leExpr(id75,id537); in testgeorge2() local5051 Expr id2366=vc->notExpr(id2367); in testgeorge2()5052 vc->registerAtom(id2367); in testgeorge2()5412 vc->query(id2367); in testgeorge2()