SZS status Theorem for i/f/sum/cond__sum__expand_c2
