Everything works but the sifting algorithm (BDDSiftginReduce.java file)