SZS status Theorem for i/f/Omega_Automata/AUTOMATON__TEMP__CLOSURE_c0
