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