public Fact getFactAfterLocation(Location location) { Fact fact = factAfterLocationMap.get(location); if (fact == null) { fact = createFact(); factAfterLocationMap.put(location, fact); } return fact;
public Fact getFactAfterLocation(Location location) throws DataflowAnalysisException { BasicBlock basicBlock = location.getBasicBlock(); InstructionHandle handle = location.getHandle();  if (handle == basicBlock.getLastInstruction()) return getResultFact(basicBlock); else return getFactAtLocation(new Location(isForwards() ? handle.getNext() : handle.getPrev(), basicBlock));
	public Fact getFactAfterLocation(Location location) {		Fact fact = factAfterLocationMap.get(location);		if (fact == null) {			fact = createFact();			factAfterLocationMap.put(location, fact);		}		return fact;	}