Changing the PDG construction so that now there's on ly a control edge with the terminator instruction of the source block