Fact result = dataflow.getAnalysis().getFactAtLocation(new Location(handle, bb)); return " " + dataflow.getAnalysis().factToString(result);
boolean flip = isForwards() != dataflow.getAnalysis().isForwards();  Location loc =new Location(handle, bb);  Fact fact = flip ? dataflow.getAnalysis().getFactAfterLocation(loc) : dataflow.getAnalysis().getFactAtLocation(loc); return " " + dataflow.getAnalysis().factToString(fact);
	public String instructionAnnotate(InstructionHandle handle, BasicBlock bb) {		try {			Fact result = dataflow.getAnalysis().getFactAtLocation(new Location(handle, bb));			return " " + dataflow.getAnalysis().factToString(result);		} catch (DataflowAnalysisException e) {			throw new IllegalStateException("Caught exception: " + e.toString());		}	}