code: def fixpoint_runner(self):
          
          q = self.cfg.nodes
  
          while q != []:
              x_i = constraint_table[q[0]]  # x_i = q[0].old_constraint
              self.analysis.fixpointmethod(q[0])  # y = F_i(x_1, ..., x_n);
              y = constraint_table[q[0]]  # y = q[0].new_constraint
  
              if y != x_i:
                  for node in self.analysis.dep(q[0]):  # for (v in dep(v_i))
                      q.append(node)  # q.append(v):
                  constraint_table[q[0]] = y  # q[0].old_constraint = q[0].new_constraint # x_i = y
              q = q[1:]
docs: Work list algorithm that runs the fixpoint algorithm.