public void meetInto(int[] fact, Edge edge, int[] result) throws DataflowAnalysisException { for (int i = 0; i < fact.length; ++i) result[i] = mergeValues(result[i], fact[i]);
public void meetInto(LockSet fact, Edge edge, LockSet result) throws DataflowAnalysisException { result.meetWith(fact);
	public void meetInto(int[] fact, Edge edge, int[] result) throws DataflowAnalysisException {		for (int i = 0; i < fact.length; ++i)			result[i] = mergeValues(result[i], fact[i]);	}