makeFactTop(fact);
	public ValueNumberFrame getFactAfterLocation(Location location) {		ValueNumberFrame fact = factAfterLocationMap.get(location);		if (fact == null) {			fact = createFact();			factAfterLocationMap.put(location, fact);		}		return fact;	}