public Production[] getNewProductions(String variable,
			Production[] oldProductions) {
		ArrayList list = new ArrayList();
		for (int k = 0; k < oldProductions.length; k++) {
			list.add(new Production(variable, oldProductions[k].getRHS()));
		}
		return (Production[]) list.toArray(new Production[0]);
	}