Adding a taint analysis that could be used for some optimizations involving conjugate pairs.