passing on abstractions instead of regenerating them when passing on taints through taint wrappers