Handle blocks without TooComplexToTranslateError.

Now this exception is unused, complex code is handled by resetting the
state knowledge.