Adjust to new alias analysis interfaces