public void edgeTransfer(Edge edge, Fact fact) {
public void edgeTransfer(Edge edge, Fact fact) throws DataflowAnalysisException {
	public void edgeTransfer(Edge edge, Fact fact) {		// By default, edge transfer function is identity.		// Subclasses may override.	}