private void handleDirectFlow(PcodeOp pcodeOp, Address address, ContextState currentState,
			TaskMonitor monitor) throws CancelledException {
		int opcode = pcodeOp.getOpcode();
		if (opcode == PcodeOp.BRANCH || opcode == PcodeOp.CBRANCH) {
			todoList.add(new BranchDestination(pcodeOp.getSeqnum(), address, currentState));
		}
		if (analyzer != null &&
			analyzer.resolvedFlow(pcodeOp, findOpIndex(pcodeOp, pcodeOp.getInput(0)), address,
				currentState, this, monitor)) {
			disassemble(address, monitor);
// TODO: Should we analyze destination function and resume this analysis later ??
		}
	}
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