fn paths_compatible( lhs: &BTreeMap<PathPredicate, bool>, rhs: &BTreeMap<PathPredicate, bool>, ) -> bool