if(this.m_cfg instanceof ExceptionalUnitGraph)
this.m_blockCFG = new ExceptionalBlockGraph((ExceptionalUnitGraph)this.m_cfg);
else if(this.m_cfg instanceof EnhancedUnitGraph)
this.m_blockCFG = new EnhancedBlockGraph((EnhancedUnitGraph)this.m_cfg);
else if(this.m_cfg instanceof BriefUnitGraph)
this.m_blockCFG = new BriefBlockGraph((BriefUnitGraph)this.m_cfg);
else
throw new RuntimeException("Unsupported CFG passed into the RegionAnalyis constructor!");