def push(self, key, value):
        if len(self.heap)<self.depth:
            heapq.heappush(self.heap, key)
            self.elements[key] = value
        else:
            oldkey = heapq.heappushpop(self.heap, key)
            self.elements[key] = value
            del self.elements[oldkey]
LHS and RHS can be either:
dataset/ETHPy150Open Stiivi/brewery/brewery/nodes/base.py/Stack.push--crossover with--dataset/ETHPy150Open django/django/django/db/backends/sqlite3/base.py/_sqlite_format_dtdelta