...

p.base_name() == base_name_prefix(p) + base_name_extension(p)

Yep. These are much better names. I think I must have looked at the help file at least 5 or 6 times to find out what "leaf" means.