Deciding path size of nondeterministic (and input-driven) pushdown automata

The degree of ambiguity (respectively, the path size) of a nondeterministic automaton, on a given input, measures the number of accepting computations (respectively, the number of all computations). It is known that deciding the finiteness of the degree of ambiguity of a nondeterministic pushdown automaton is undecidable. Also, it is undecidable for a given k≥3 to decide whether the path size of a nondeterministic pushdown automaton is bounded by k.