modify init and top in dataflow pass
framework stuff