Add support for alias analysis