Member predicate SequenceKind::getTaintOfMethodResult

Gets the kind of taint results from calling the named method if an object is tainted with this taint. In other words, if x has this kind of taint then it implies that x.name() has result kind of taint.