Add dataflow analysis.