DeadArgumentElimination: keep return value on functions that have a live argument...