example where type based alias analysis helps