while (boxes.hasNext()) {
ValueBox box = (ValueBox) boxes.next();
Value value = box.getValue();
if (value instanceof SpecialInvokeExpr) {
SpecialInvokeExpr r = (SpecialInvokeExpr) value;
if (PtolemyUtilities.executableInterface
.declaresMethod(r.getMethod().getSubSignature())) {
if (r.getMethod().getName().equals("prefire")
|| r.getMethod().getName().equals(
"postfire")) {
box.setValue(IntConstant.v(1));
} else {
body.getUnits().remove(unit);
}
} else if (!r.getMethod().getName().equals("<init>")) {
System.out.println("superCall:" + r);
}
}
}
}