Restore some unused variable, but commented out.

Author: dhendriks

src/main/java/com/github/javabdd/MicroFactory.java

@@ -4495,6 +4495,7 @@ void blockdown(BddTree left) {
     BddTree reorder_win2ite(BddTree t) {
         BddTree dis, first = t;
         int lastsize;
+        //int c = 1;
 
         if (t == null)
             return t;
@@ -4525,6 +4526,7 @@ BddTree reorder_win2ite(BddTree t) {
 
             if (verbose > 1)
                 System.out.println(" " + reorder_nodenum() + " nodes");
+            //c++;
         }
         while (reorder_nodenum() != lastsize);