'Checks that the specified paths stay the same over the next `depth` states.'

def set_states(self, left_state, right_state):

    simgr = self.project.factory.simgr(right_state)
    simgr.stash(to_stash='right')
    simgr.active.append(left_state)
    simgr.stash(to_stash='left')
    simgr.stash(to_stash='stashed_left')
    simgr.stash(to_stash='stashed_right')
    return self.set_simgr(simgr)
