SZS status Theorem for i/f/string/ranged__char__nchotomy
