added a flowOut function to the taint propagation handler