SZS status Theorem for i/f/semi_ring/semi__ring__fn__updates_c1
