SZS status Theorem for i/f/sum/cond__sum__expand_c3
