600     def visit_environment_in_state(self, selector, title, s, prev_s=None):  argument
602         prev_e = getattr(prev_s, selector) if prev_s is not None else None
622     def visit_store(self, s, prev_s=None):  argument
637         if prev_s is not None:
639                 s.diff_clusters(prev_s)
641                 for b in prev_s.clusters[c].bindings:
642                     dump_binding(prev_s, c, b, False)
645                     s.clusters[c].diff_bindings(prev_s.clusters[c])
647                     dump_binding(prev_s, c, b, False)
660     def visit_store_in_state(self, s, prev_s=None):  argument
662         prev_st = prev_s.store if prev_s is not None else None
707     def visit_generic_map_in_state(self, selector, title, s, prev_s=None):  argument
709         prev_m = getattr(prev_s, selector) if prev_s is not None else None
764     def visit_checker_messages_in_state(self, s, prev_s=None):  argument
766         prev_m = prev_s.checker_messages if prev_s is not None else None
788     def visit_state(self, s, prev_s):  argument
789         self.visit_store_in_state(s, prev_s)
791                                         s, prev_s)
793                                         s, prev_s)
795                                         s, prev_s)
798                                         s, prev_s)
799         self.visit_checker_messages_in_state(s, prev_s)
825             prev_s = None
831                 prev_s = self._graph.nodes[node.predecessors[0]].state
832             self.visit_state(node.state, prev_s)