I created a function in R to detect if a phylogeny has a paraphyly or not (see https://github.com/richelbilderbeek/R/blob/master/Phylogenies/is_monophyletic.R ). You think it is a good idea to add it to PBD?