no longer propagating facts into non-concrete methods. This fixes issues in which the taint wrapper did not handle a certain method, and thus did not report exclusiveness for it either, but still there was no implementation. FlowDroid then tried to propagate the taint into a phantom method and failed with an exception.