docs: def set_states(self, left_state, right_state):
          """
          Checks that the specified paths stay the same over the next `depth` states.
          """
  
          simgr = self.project.factory.simulation_manager(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)