Predicate Input::decodeUnknownArgumentPosition
Gets an argument position corresponding to the unknown token token.
The token is unknown because it could not be reverse-encoded using the
encodeArgumentPosition predicate. This is useful for example when a
single token gives rise to multiple argument positions, such as ranges
0..n.
Import path
import semmle.python.dataflow.new.internal.FlowSummaryImpl