SZS status Theorem for i/f/container/MEM__SET__TO__LIST
