Re: Inliner non-termination