/*This is needed to convert the initially Region-typed inner node of the PDG's head
to a PDGRegion-typed one after the whole graph is computed.
The root PDGRegion is the one with no parent.
*/
IRegion r = this.m_pdgRegions.get(0);
while(r.getParent() != null)
r = r.getParent();
this.m_startNode.setNode(r);
}