% SZS status Timeout for word__ptree__inducti
