public static void assertGoodBody(InstructionList il, String from) { if (true) return; if (il == null) return; Set body = new HashSet(); Stack ranges = new Stack(); for (InstructionHandle ih = il.getStart(); ih != null; ih = ih.getNext()) { body.add(ih); if (ih.getInstruction() instanceof BranchInstruction) { body.add(ih.getInstruction()); } }  for (InstructionHandle ih = il.getStart(); ih != null; ih = ih.getNext()) { assertGoodHandle(ih, body, ranges, from); InstructionTargeter[] ts = ih.getTargeters(); if (ts != null) { for (int i = ts.length - 1; i >= 0; i--) { assertGoodTargeter(ts[i], ih, body, from); } } }
public void assertGoodBody() { if (true) return; assertGoodBody(getBody(), toString());
	public static void assertGoodBody(InstructionList il, String from) {		if (true) return;  // only to be enabled for debugging		if (il == null) return;		Set body = new HashSet();		Stack ranges = new Stack();		for (InstructionHandle ih = il.getStart(); ih != null; ih = ih.getNext()) {			body.add(ih);			if (ih.getInstruction() instanceof BranchInstruction) {				body.add(ih.getInstruction());			}		}				for (InstructionHandle ih = il.getStart(); ih != null; ih = ih.getNext()) {			assertGoodHandle(ih, body, ranges, from);			InstructionTargeter[] ts = ih.getTargeters();			if (ts != null) {				for (int i = ts.length - 1; i >= 0; i--) {					assertGoodTargeter(ts[i], ih, body, from);				}			}		}	}