'Replaces all instances of expression old with expression new.
:param old: A claripy expression. Must contain at least one named variable (to make
to make it possible to use the name index for speedup)
:param new: The new variable to replace it with'

def replace_all(self, old, new):

    return self.mem.replace_all(old, new)
