SZS status Theorem for i/f/option/OPTREL__refl
