606     def visit_environment_in_state(self, selector, title, s, prev_s=None):  argument
608         prev_e = getattr(prev_s, selector) if prev_s is not None else None
628     def visit_store(self, s, prev_s=None):  argument
643         if prev_s is not None:
645                 s.diff_clusters(prev_s)
647                 for b in prev_s.clusters[c].bindings:
648                     dump_binding(prev_s, c, b, False)
651                     s.clusters[c].diff_bindings(prev_s.clusters[c])
653                     dump_binding(prev_s, c, b, False)
666     def visit_store_in_state(self, s, prev_s=None):  argument
668         prev_st = prev_s.store if prev_s is not None else None
713     def visit_generic_map_in_state(self, selector, title, s, prev_s=None):  argument
715         prev_m = getattr(prev_s, selector) if prev_s is not None else None
770     def visit_checker_messages_in_state(self, s, prev_s=None):  argument
772         prev_m = prev_s.checker_messages if prev_s is not None else None
794     def visit_state(self, s, prev_s):  argument
795         self.visit_store_in_state(s, prev_s)
797                                         s, prev_s)
799                                         s, prev_s)
801                                         s, prev_s)
804                                         s, prev_s)
807                                         s, prev_s)
808         self.visit_checker_messages_in_state(s, prev_s)
834             prev_s = None
840                 prev_s = self._graph.nodes[node.predecessors[0]].state
841             self.visit_state(node.state, prev_s)