% SZS status Timeout for gfp__strong__coinducti
