return " " + analysis.factToString(dataflow.getStartFact(bb));
return " " + dataflow.getAnalysis().factToString(dataflow.getStartFact(bb));
	public String blockStartAnnotate(BasicBlock bb) {		return " " + analysis.factToString(dataflow.getStartFact(bb));	}