SZS status Theorem for i/f/patricia_casts/datatype__word__ptree
