@Override
public List<Unit> getPredsOf(Unit unit) {
if (unit.equals(nIf)) {
return Collections.emptyList();
} else if (unit.equals(n1)) {
return Collections.singletonList(nIf);
} else if (unit.equals(n2)) {
return Collections.singletonList(nIf);
} else {
throw new RuntimeException("UNEXPECTED CASE");
}
}
@Override
public List<Unit> getTails() {
return Collections.singletonList(nIf);
}