Fixes no-op unalias
Redo unaliasing