SZS status Theorem for i/f/llist/LTAKE__NIL__EQ__SOME
