private List<Address> handleIndirectFlow(PcodeOp pcodeOp, Varnode destValue,
			ContextState currentState, TaskMonitor monitor) throws CancelledException {
		List<Address> destinations = null;
		if (analyzer != null) {
			destinations =
				analyzer.unresolvedIndirectFlow(pcodeOp, findOpIndex(pcodeOp, pcodeOp.getInput(0)),
					destValue, currentState, this, monitor);
			if (destinations != null) {
				for (Address dest : destinations) {
					if (pcodeOp.getOpcode() == PcodeOp.BRANCHIND) {
						todoList.add(new BranchDestination(pcodeOp.getSeqnum(), dest, currentState));
					}
					disassemble(dest, monitor);
// TODO: Should we analyze destination function and resume this analysis later ??
				}
			}
		}
		return destinations;
	}
Simplify specified varnode base upon specified andMask.
@param seq
@param varnode
@param andMask
@return simplified varnode or null if simplification failed
Ghidra/Features/Base/src/main/java/ghidra/util/state/ResultsState.java