% SZS status Timeout for BOOLEAN__CLOSURE__G_
