DuettoBackend: Expose alias analysis