public void startReduce() {
        getAllStatements();

        BuildE_useB();

        countExpected();
        countAvailible();
        countPostponable();
        countUsed();

        //System.out.println("red created;");
        /*for(Statement s: e_useB.keySet()){
            System.out.println(s.toString() + ": ");

            //System.out.println("\t UNION: " + helpUnion(expectedIn.get(s), expectedOut.get(s)));

            System.out.println("\te in "+ expectedIn.get(s) + ", ");
            System.out.println("\te out "+ expectedOut.get(s) + ", ");

            System.out.println("\ta in "+ availibleIn.get(s) + ", ");
            System.out.println("\ta out "+ availibleOut.get(s) + ", ");

            System.out.println("\t!e!  "+ earliest.get(s) + ", ");

            System.out.println("\tp in " + postponableIn.get(s));
            System.out.println("\tp out " + postponableOut.get(s));

            System.out.println("\t!l! " + latest.get(s));

            System.out.println("\tu in " + usedIn.get(s));
            System.out.println("\tu out " + usedOut.get(s));
        }*/

        lastStep();
    }