Changing the logic concerning the program dependence graph. The PDG will now be a somewhat implicit graph like the CallGraph. It will be constructed via call to the new PDGWrapperPass. For now, the PDG is built on a per function basis