public void checkConsistent() {
		StructuredBlock[] subs = getSubBlocks();
		for (int i = 0; i < subs.length; i++) {
			if (subs[i].outer != this || subs[i].flowBlock != flowBlock) {
				throw new AssertError("Inconsistency");
			}
			subs[i].checkConsistent();
		}
		if (jump != null && jump.destination != null) {
			Jump jumps = (Jump) flowBlock.getJumps(jump.destination);
			for (; jumps != jump; jumps = jumps.next) {
				if (jumps == null)
					throw new AssertError("Inconsistency");
			}
		}
	}