SZS status Theorem for i/f/bitstring/el__sign__extend
