Adding a first implementation of a data flow program dependence graph