} if (isTop(result)) {
} else if (isTop(result)) {
	public void meetInto(BitSet fact, Edge edge, BitSet result) throws DataflowAnalysisException {		if (isTop(fact)) {			// Nothing to do, result stays the same		} if (isTop(result)) {			// Result is top, so it takes the value of fact			copy(fact, result);		} else {			// Meet is union			result.or(fact);		}	}