43     def is_different(self, prev):  member in GenericMap
140     def is_different(self, prev):  member in EnvironmentFrame
162                 if f.is_different(prev_f):
172     def is_different(self, prev):  member in GenericEnvironment
203     def is_different(self, prev):  member in StoreCluster
219                    and prev.clusters[k].is_different(self.clusters[k])]
222     def is_different(self, prev):  member in Store
238     def is_different(self, prev):  member in CheckerLines
252                    and prev.items[k].is_different(self.items[k])]
255     def is_different(self, prev):  member in CheckerMessages
639                 if e.is_different(prev_e):
703                 if s.store.is_different(prev_st):
748                 if m.is_different(prev_m):
805                 if m.is_different(prev_m):