Doesn't all optimizations need to be valid translations first? That was my reasoning when writing it.