Si te fijas, no importa que camino elijas, todas las rutas tienen return antes de llegar al punto de recursión.
Con un poco de pseudocodigo:
Código:
funcion Checa:
Si el nodo actual es nullo o el siguiente es nullo:
retorna 1
Si el valor del nodo actual y el siguiente nodo no cumplen con el orden:
retorna 0
retorna Checa(siguiente nodo)