**tmpreiss commented on May 9, 2016** requires taking path subsumption and common path ancestry into account