Fact result = analysis.getFactAtLocation(new Location(handle, bb)); return " " + analysis.factToString(result);
try { Fact result = analysis.getFactAtLocation(new Location(handle, bb)); return " " + analysis.factToString(result); } catch (DataflowAnalysisException e) { throw new IllegalStateException("Caught exception: " + e.toString()); }
		public String instructionAnnotate(InstructionHandle handle, BasicBlock bb) {			Fact result = analysis.getFactAtLocation(new Location(handle, bb));			return " " + analysis.factToString(result);		}