private void BuildE_useB() { //those, which are calculated in B, for each statement
            for (BaseBlock b: cfg.getAllBaseBlocks())
                for(Statement s: b.getStatements())
                    switch (s.baseOperation) {
                        case BINATY_OPERATION:
                        case UNARY_OPERATION:
                            e_useB.put(s, true);
                            break;
                        default:
                            e_useB.put(s, false);

                    }
    }