private void funcExpectedIn(Statement s) {//fB(OUT[B]) = IN[B]
        expectedIn.put(s, new LinkedList<Statement>());
        if(e_useB.get(s))
            expectedIn.get(s).add(s);
        List<Statement> out = expectedOut.get(s);
        if(out != null)
            for (Statement st: out) {
                if(!IsKilled(s, st))
                    expectedIn.get(s).add(st);
            }
    }