use alias info in copy elimination