void removePredecessor(Instruction pred) {
		/* Hopefully it doesn't matter if this is slow */
		int predLength = preds.length;
		if (predLength == 1) {
			if (preds[0] != pred)
				throw new jode.AssertError(
						"removing not existing predecessor");
			preds = null;
		} else {
			Instruction[] newPreds = new Instruction[predLength - 1];
			int j;
			for (j = 0; preds[j] != pred; j++)
				newPreds[j] = preds[j];
			System.arraycopy(preds, j + 1, newPreds, j, predLength - j - 1);
			preds = newPreds;
		}
	}