private static void markUnimplementedPcode(Instruction instr) {
		BookmarkManager bmMgr = instr.getProgram().getBookmarkManager();
		bmMgr.setBookmark(instr.getAddress(), BookmarkType.WARNING, UNIMPL_BOOKMARK_CATEGORY,
			"Instruction pcode is unimplemented: " + instr.getMnemonicString());
	}
Check if the called function doesn't return

@return true if the call also falls through to this instruction
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/disassemble/Disassembler.java