IntermediateEdge ie = igc.getGraph().getEdge(pred, ih);
if(ie.getType() == EdgeType.BACK) {
if(!igc.hasIntermediate(ih)) {
//this is probably a while(true);
ContinuousWhileIntermediate cwi = new ContinuousWhileIntermediate(ih);
igc.addIntermediate(ih, cwi);
break;
}
}
}