I would say it's the other way around. Checking for empty `.args` is the best way to determine if you are at a leaf. (there is also controversy about allowing non-Basic args, but I won't get into that here)