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