Control dependences: Adding nodes to the PDG