result.setValid();
	public void initEntryFact(ValueNumberFrame result) {		// At entry to the method, each local has (as far as we know) a unique value.		int numSlots = result.getNumSlots();		for (int i = 0; i < numSlots; ++i)			result.setValue(i, factory.createFreshValue());	}