#1: added more tests
#2: added check for taint wrappers on implicit flows