private void getAllStatements() {
        List<BaseBlock> BBlocks = cfg.dfs();
        for(BaseBlock bb: BBlocks)
            for(Statement s: bb.getStatements()) {
               allStatements.add(s);
            }
    }