docs: def next_state_scope(self, next_state_fluents: Sequence[tf.Tensor]) -> Dict[str, TensorFluent]:
          '''Returns a partial scope with current next state-fluents.
  
          Args:
              next_state_fluents (Sequence[tf.Tensor]): The next state fluents.
  
          Returns:
              A mapping from next state fluent names to :obj:`rddl2tf.fluent.TensorFluent`.
          '''
          return dict(zip(self.rddl.domain.next_state_fluent_ordering, next_state_fluents))