SZS status Theorem for i/f/container/BAG__TO__LIST__EQ__NIL
