public TypeFrame getFactAfterLocation(Location loc) { return getAnalysis().getFactAfterLocation(loc); }
public TypeFrame getFactAfterLocation(Location loc) throws DataflowAnalysisException { return getAnalysis().getFactAfterLocation(loc); }
	public TypeFrame getFactAfterLocation(Location loc) { return getAnalysis().getFactAfterLocation(loc); }