Make sure to update alias analysis information as we transform the function.