@Override
			public Reachability combine(Reachability that) {
				return switch (that) {
					case null -> this;
					case WITHOUT_CTXMOD -> MAYBE_CTXMOD;
					case MAYBE_CTXMOD -> MAYBE_CTXMOD;
					case WITH_CTXMOD -> WITH_CTXMOD;
				};
			}
There is at least one path to reach it. All of them modify the context dynamically.
Ghidra/Framework/Emulation/src/main/java/ghidra/pcode/emu/jit/JitPassage.java