Refined FunctionModRef pass. Separated ClientWorkList from
DataDependenceGraph.cpp