Describir: On rational recursion for holonomic sequences