This merge request contains a small python script, used to efficiently find and analyse duplicate subtrees