code: protected void initialize() {
      // TODO(user): Calling clear doesn't deallocate the memory in a
      // LinkedHashSet. Consider creating a new work set if we plan to repeatedly
      // call analyze.
      orderedWorkSet.clear();
      for (DiGraphNode<N, Branch> node : cfg.getDirectedGraphNodes()) {
        node.setAnnotation(new FlowState<>(createInitialEstimateLattice(),
            createInitialEstimateLattice()));
        if (node != cfg.getImplicitReturn()) {
          orderedWorkSet.add(node);
        }
      }
    }
docs: Initializes the work list and the control flow graph.