SZS status Theorem for i/f/list/MEM__SET__TO__LIST
