SZS status Theorem for i/f/Omega_Automata/OMEGA__CONJ__CLOSURE
