return " " + dataflow.getAnalysis().factToString(dataflow.getStartFact(bb));
boolean flip = isForwards() != dataflow.getAnalysis().isForwards(); Fact fact = flip ? dataflow.getResultFact(bb) : dataflow.getStartFact(bb);  return " " + dataflow.getAnalysis().factToString(fact);
	public String blockStartAnnotate(BasicBlock bb) {		return " " + dataflow.getAnalysis().factToString(dataflow.getStartFact(bb));	}