K array Tree Height using DFS with Recursion, is the code logic wrong?

Question

I feel embarrassed asking this question but I spent close to four hours trying to make sense of why this code works. My problem is that this code to me looks like it works to me