code: private void rePrimeNF8(AxiomSet as, IConceptMap<IConceptSet> subsumptions) {
          int size = as.getNf8Axioms().size();
          if (size == 0) return;
          
          FeatureMap<MonotonicCollection<NF8>> deltaNF8 = new FeatureMap<MonotonicCollection<NF8>>(size);
          for (NF8 nf8 : as.getNf8Axioms()) {
              addTerms(deltaNF8, nf8);
          }
  
          FeatureSet fs = deltaNF8.keySet();
          for (int fid = fs.nextSetBit(0); fid >= 0; fid = fs.nextSetBit(fid+1)) {
              for (IntIterator it = ontologyNF7.keyIterator(); it.hasNext();) {
                  int a = it.next();
                  Context aCtx = contextIndex.get(a);
  
                  for (Iterator<NF7> i = ontologyNF7.get(a).iterator(); i.hasNext();) {
                      NF7 nf7 = i.next();
                      if (nf7.rhsD.getFeature() == fid) {
                          aCtx.addFeatureQueueEntry(nf7);
                          affectedContexts.add(aCtx);
                          aCtx.startTracking();
                          if (aCtx.activate()) {
                              todo.add(aCtx);
                          }
                      }
                  }
              } 
          }
      }
docs: TODO: check this!
  
  @param as
  @param subsumptions