Fixed a bug related to the handling of Synchronized blocks during the generation of the PDG.