public final void setSuccs(Object newSuccs) {
		if (succs == newSuccs)
			return;
		removeSuccs();
		if (newSuccs == null)
			return;
		if (newSuccs instanceof Instruction[]) {
			Instruction[] ns = (Instruction[]) newSuccs;
			switch (ns.length) {
			case 0:
				break;
			case 1:
				succs = ns[0];
				ns[0].addPredecessor(this);
				break;
			default:
				succs = ns;
				for (int i = 0; i < ns.length; i++)
					ns[i].addPredecessor(this);
				break;
			}
		} else {
			succs = newSuccs;
			((Instruction) newSuccs).addPredecessor(this);
		}
	}