Add the new produced taint values from invoking and untaint taint values