On the Termination Problem for Probabilistic Higher-Order Recursive Programs (Logical Methods in Computer Science, 2020)