docs: public Set<OWLAxiom> getSameSourceAxioms(OWLAxiom axiom, Set<OWLAxiom> toSearch) {
          Set<OWLAxiom> axiomSources = axiom2SourceMap.get(axiom);
          if(axiomSources == null) {
              return Collections.emptySet();
          }
          Set<OWLAxiom> result = new HashSet<OWLAxiom>();
          for(OWLAxiom ax : toSearch) {
              Set<OWLAxiom> sources = axiom2SourceMap.get(ax);
              if(sources != null) {
                  for(OWLAxiom axiomSourceAxiom : axiomSources) {
                      if(sources.contains(axiomSourceAxiom)) {
                          result.add(ax);
                          break;
                      }
                  }
              }
          }
          return result;
      }