2425262728293031323334
vc.push(); // vc.printQuery(); System.out.println("\nChecking:" + a_eq_0); int query = vc.query(a_eq_0); vc.printQuery(); vc.pop(); // System.out.printf("query = %d\n", query);