DfsInfo dfs_info = RootbeerClassLoader.v().getDfsInfo();
RootbeerDfs rootbeer_dfs = new RootbeerDfs();
rootbeer_dfs.run(dfs_info);
dfs_info.expandArrayTypes();
dfs_info.finalizeTypes();
SootClass soot_class = kernel_method.getDeclaringClass();
transform2.run(soot_class.getName());
}