% SZS status Timeout for BOOLEAN__CLOSURE__GF_
