SZS status Theorem for i/f/option/OPTION__CHOICE__EQ__NONE
