SZS status Theorem for i/f/sum/ISL__OR__ISR
