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.