Searched refs:id6327 (Results 1 – 1 of 1) sorted by relevance
1966 Expr id6327=vc->leExpr(id6317,id2127); in testgeorge1() local1967 Expr id6326=vc->notExpr(id6327); in testgeorge1()1968 vc->registerAtom(id6327); in testgeorge1()