docs: def state_invariant_scope(self, state: Sequence[tf.Tensor]):
          '''Returns the state invariant fluent scope for the current `state`.
  
          Args:
              state (Sequence[tf.Tensor]): The current state fluents.
  
          Returns:
              A mapping from fluent names to :obj:`rddl2tf.fluent.TensorFluent`.
          '''
          scope = {}
          scope.update(self.non_fluents_scope())
          scope.update(self.state_scope(state))
          return scope