[Alias] Make aliasing 100% self-contained