return " " + result;
return " " + analysis.factToString(result);
		public String instructionAnnotate(InstructionHandle handle, BasicBlock bb) {			Fact result = analysis.getFactAtLocation(new Location(handle, bb));			return " " + result;		}