@Test
	public void testDisassemblerInconsistentMidBlock() throws Exception {

		program.getProgramContext().setValue(program.getRegister("nfctx"), addr(12), addr(12),
			BigInteger.valueOf(2));

		programBuilder.addBytesBranch(6, 12);

		programBuilder.addBytesFallthroughSetNoFlowContext(10, 3);
		programBuilder.addBytesCopInstruction(12);
		programBuilder.addBytesBranch(14, 10);

		AddressSetView disAddrs = disassembler.disassemble(addr(6), null);
		assertEquals(addrset(range(6, 7), range(10, 15)), disAddrs);

		verifyInstructionPresence();

		verifyErrorBookmark(addr(12), "inconsistent instruction prototype");

	}
6: bral 12  --+ (start w/ nfctx=2 @ 12)
                    |
 +-> 10: nfctx #3   | 
 |   12: cop3    <--+ (conflict due to varying context)
 +-- 14: bral 10
    
Test use of non-flow context in disassembly with expected parse error
Ghidra/Test/IntegrationTest/src/test.slow/java/ghidra/program/disassemble/DisassemblerTest.java