if (ClassContext.PRUNE_INFEASIBLE_EXCEPTION_EDGES
if (AnalysisContext.currentAnalysisContext().getBoolProperty(AnalysisFeatures.ACCURATE_EXCEPTIONS)
	public void meetInto(UnconditionalDerefSet fact, Edge edge, UnconditionalDerefSet result) throws DataflowAnalysisException {		// Ignore implicit exceptions		if (ClassContext.PRUNE_INFEASIBLE_EXCEPTION_EDGES				&& edge.isExceptionEdge()				&& !edge.isFlagSet(EdgeTypes.EXPLICIT_EXCEPTIONS_FLAG)) {			return;		}				if (result.isTop() || fact.isBottom()) {			copy(fact, result);		} else if (result.isBottom() || fact.isTop()) {			// Nothing to do		} else {			// Meet is intersection			result.and(fact);		}	}