Bugfix: Do not propagate back taints on parameters if the call site looks like a = foo(a). In this case, a gets overwritten and a taint on a after this line can only exist through direct return.