SZS status Theorem for i/f/llist/LTAKE__CONS__EQ__SOME
