> This catches the case where an And/Or node has no children

yep