fixed an NPE and a problem with taint wrappers. If a taint wrapper is used to generate artificial taints for a certain callee, we may not propagate the dummy values out of this callee since we don't know what the taint wrapper would have made out of it