SZS status Theorem for i/f/container/LIST__TO__BAG__EQ__EMPTY
