SZS status Theorem for i/f/list/APPEND__EQ__SELF_c0
