SZS status Theorem for i/f/list/SET__TO__LIST__EMPTY
