SZS status Theorem for i/f/bitstring/ops__to__v2w_c7
