% SZS status Timeout for is__tree__rules_
