def visit_state(self, s, prev_s):
    self.visit_store_in_state(s, prev_s)
    self.visit_environment_in_state('environment', 'Expressions', s, prev_s)
    self.visit_generic_map_in_state('constraints', 'Ranges', s, prev_s)
    self.visit_generic_map_in_state('dynamic_types', 'Dynamic Types', s, prev_s)
    self.visit_environment_in_state('constructing_objects', 'Objects Under Construction', s, prev_s)
    self.visit_checker_messages_in_state(s, prev_s)
def visit_state(self, s, prev_s):
    self.visit_store_in_state(s, prev_s)
    self.visit_environment_in_state('environment', 'Expressions', s, prev_s)
    self.visit_generic_map_in_state('constraints', 'Ranges', s, prev_s)
    self.visit_generic_map_in_state('dynamic_types', 'Dynamic Types', s, prev_s)
    self.visit_environment_in_state('constructing_objects', 'Objects Under Construction', s, prev_s)
    self.visit_checker_messages_in_state(s, prev_s)