SZS status Theorem for i/f/option/OPTION__GUARD__EQ__THM_c0
