SZS status Theorem for i/f/bitstring/extend0_c0
