SZS status Theorem for i/f/set_relation/rel__to__reln__swap
