SZS status Theorem for i/f/inftree/is__tree__rules_c0
