44     def is_different(self, prev):  member in GenericMap
141     def is_different(self, prev):  member in EnvironmentFrame
163                 if f.is_different(prev_f):
173     def is_different(self, prev):  member in GenericEnvironment
204     def is_different(self, prev):  member in StoreCluster
220                    and prev.clusters[k].is_different(self.clusters[k])]
223     def is_different(self, prev):  member in Store
239     def is_different(self, prev):  member in CheckerLines
253                    and prev.items[k].is_different(self.items[k])]
256     def is_different(self, prev):  member in CheckerMessages
617                 if e.is_different(prev_e):
681                 if s.store.is_different(prev_st):
726                 if m.is_different(prev_m):
783                 if m.is_different(prev_m):