SZS status Theorem for i/f/llist/LTAKE__CONS__EQ__NONE
