SZS status Theorem for i/f/sptree/delete__compute_c3
