if (isTop(result) || isBottom(fact)) {
if (result.isTop() || fact.isBottom()) {
	public void meetInto(BitSet fact, Edge edge, BitSet result) throws DataflowAnalysisException {		// Ignore implicit exceptions		if (TypeAnalysis.ACCURATE_EXCEPTIONS) {			// Ignore "implicit" exceptions.  These are any runtime			// exceptions not explicitly declared by a called method,			// or thrown by an ATHROW instruction.			ExceptionSet exceptionSet = typeDataflow.getAnalysis().getEdgeExceptionSet(edge); 			if (!exceptionSet.containsExplicitExceptions()) {				return;			}		}				if (isTop(result) || isBottom(fact)) {			copy(fact, result);		} else if (isBottom(result) || isTop(fact)) {			// Nothing to do		} else {			// Meet is intersection			result.and(fact);		}	}