SZS status Theorem for i/f/sptree/mk__wf__eq
