public AddressSet getDestinationSet() {
		return destSet;
	}
The computed destination set is useful if follow on switch analysis is to be done.

@return a set of destinations that have computed flow where the flow is unknown
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/analysis/ConstantPropagationContextEvaluator.java