class TooComplexToTranslateError

We have encountered code that does satisfy our simplifying assumptions, translating it would not be correct.