SZS status Theorem for i/f/llist/LHDTL__EQ__SOME
