SZS status Theorem for i/f/sptree/union__LN_c1
