public static boolean isMarkUnimplementedPcodeOptionEnabled(Program program) {
		Options options = program.getOptions(Program.DISASSEMBLER_PROPERTIES);
		return options.getBoolean(MARK_UNIMPL_PCODE_PROPERTY, true);
	}
@param program the program to check
@return true if program MARK_UNIMPL_PCODE_PROPERTY has been enabled
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/disassemble/Disassembler.java