make dataflow analysis dataflow (self) dependent