PDG extends CFG module