ses_typehasaddlstatus
status_type = ses_typehasaddlstatus(enc, iter.type_index);
if (ses_typehasaddlstatus(enc, titer.type_index) ==