Fact fact = createFact(); makeFactTop(fact); meetInto(getResultFact(block), edge, fact); return fact;
Fact predFact = createFact(); copy(getResultFact(block), predFact);  edgeTransfer(edge, predFact);  Fact result = createFact(); makeFactTop(result); meetInto(predFact, edge, result);  return result;
	public Fact getFactOnEdge(Edge edge) throws DataflowAnalysisException {		BasicBlock block = isForwards() ? edge.getSource() : edge.getTarget();		Fact fact = createFact();		makeFactTop(fact);		meetInto(getResultFact(block), edge, fact);		return fact;	}