for S being non empty standard-ins set
for T being InsType of S ex I being Element of S st InsCode I = T