Remove defunct NotInstr.