SZS status Theorem for i/f/sum/cond__sum__expand_c0
