281282283284285286287288289290291
Expr e13129 = vc.notExpr( e13128); Expr e13130 = vc.andExpr( e13125, e13129); Expr e13131 = vc.andExpr( e13122, e13130); vc.assertFormula( e13131); //vc.push(); Expr e13132 = vc.falseExpr(); vc.query( e13132); //vc.pop(); //vc.pop(); } }