code: private void removeNodeFromIndex(QueryNode queryNode) {
          nodeIndex.remove(queryNode);
  
          if (queryNode instanceof TrueNode) {
              trueNodes.remove(queryNode);
          } else if (queryNode instanceof IntensionalDataNode){
              intensionalNodes.remove(queryNode);
          }
          updateVersionNumber();
      }
docs: Low-low-level