NOP instructions should use the BRIG_INST_BASIC format, not BRIG_INST_NONE