def visit_store_in_state(self, s, prev_s=None):
    st = s.store
    prev_st = (prev_s.store if (prev_s is not None) else None)
    if ((st is None) and (prev_st is None)):
        return
    self._dump('<hr /><tr><td align="left"><b>Store: </b>')
    if (st is None):
        self._dump('<i> Nothing!</i>')
    else:
        if self._dark_mode:
            self._dump((' <font color="gray30">(%s)</font>' % st.ptr))
        else:
            self._dump((' <font color="gray">(%s)</font>' % st.ptr))
        if (prev_st is not None):
            if s.store.is_different(prev_st):
                self._dump('</td></tr><tr><td align="left">')
                self.visit_store(st, prev_st)
            else:
                self._dump('<i> No changes!</i>')
        else:
            self._dump('</td></tr><tr><td align="left">')
            self.visit_store(st)
    self._dump('</td></tr>')
def visit_store_in_state(self, s, prev_s=None):
    st = s.store
    prev_st = (prev_s.store if (prev_s is not None) else None)
    if ((st is None) and (prev_st is None)):
        return
    self._dump('<hr /><tr><td align="left"><b>Store: </b>')
    if (st is None):
        self._dump('<i> Nothing!</i>')
    else:
        if self._dark_mode:
            self._dump((' <font color="gray30">(%s)</font>' % st.ptr))
        else:
            self._dump((' <font color="gray">(%s)</font>' % st.ptr))
        if (prev_st is not None):
            if s.store.is_different(prev_st):
                self._dump('</td></tr><tr><td align="left">')
                self.visit_store(st, prev_st)
            else:
                self._dump('<i> No changes!</i>')
        else:
            self._dump('</td></tr><tr><td align="left">')
            self.visit_store(st)
    self._dump('</td></tr>')