SZS status Theorem for i/f/sptree/insert__compute_c0
