// 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); }