Fixing bug in data flow analysis.