Bugfix: Taint wrappers also need to create taints on implicit flows