SZS status Theorem for i/f/option/OPTION__JOIN__EQ__SOME
