@Override
	public List<Address> unresolvedIndirectFlow(PcodeOp op, int instrOpIndex,
			Varnode destination, ContextState currentState,
			ResultsState results, TaskMonitor monitor)
			throws CancelledException {
		// TODO Auto-generated method stub
		return null;
	}
@param op
@param dest
@param currentState
@param monitor
@return
Ghidra/Features/Base/src/main/java/ghidra/util/state/analysis/MySwitchAnalyzer.java