SZS status Theorem for i/f/llist/LFLATTEN__THM_c0
