Add more to Taint.cpp.