% SZS status Timeout for BOOLEAN__CLOSURE__FG_
