Part of collecting return taint values after invoking