#1: added more taint wrapper entries
#2: implicit taints can now also be produced on ctr edges