// removes the edge coming in from the given predecessor
public void removeInEdge(CfgNode predecessor) {
for (Iterator iter = this.inEdges.iterator(); iter.hasNext(); ) {
CfgEdge inEdge = (CfgEdge) iter.next();
if (inEdge.getSource() == predecessor) {
iter.remove();
}
}
}
