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