SZS status Theorem for i/f/arithmetic/num__case__cong
