Of course if there are semantically correct ways of translation, optimization might be easier than without it.. For the defined semantics. But can still be hard on (or including) all other not-well-defined fronts.