Improved mechanism for declaring redundant translations