almost complete data flow analysis