public int[] getFactAtLocation(Location location) throws DataflowAnalysisException {
public LockSet getFactAtLocation(Location location) throws DataflowAnalysisException {
	public int[] getFactAtLocation(Location location) throws DataflowAnalysisException {		return getAnalysis().getFactAtLocation(location);	}