Invoke propagates combines taint of all parameters of an external call