// returns the unique predecessor if there is one;
// throws an exception otherwise
public CfgNode getPredecessor() {
List<CfgNode> predecessors = this.getPredecessors();
if (predecessors.size() != 1) {
throw new RuntimeException("SNH: " + predecessors.size());
}
return predecessors.get(0);
}
