Variable instructionIDsConst

instructionIDs: Record<MichelsonInstruction["prim"], true> = ...