SZS status Theorem for i/f/llist/LTL__EQ__NONE_c0
