% SZS status Timeout for AUTOMATON__TEMP__CLOSURE_
