Stav dette: On rational recursion for holonomic sequences