SZS status Theorem for i/f/bit/ADD__BIT0
