truly multithreaded version of the data flow analysis