SZS status Theorem for i/f/inftree/relrec__rules_c1
