support for reasoning about the ancestry of BranchedDicts