docs: def compile_state_invariants(self,
              state: Sequence[tf.Tensor]) -> List[TensorFluent]:
          '''Compiles the state invarints given current `state` fluents.
  
          Args:
              state (Sequence[tf.Tensor]): The current state fluents.
  
          Returns:
              A list of :obj:`rddl2tf.fluent.TensorFluent`.
          '''
          scope = self.state_invariant_scope(state)
          invariants = []
          with self.graph.as_default():
              with tf.name_scope('state_invariants'):
                  for p in self.rddl.domain.invariants:
                      fluent = self._compile_expression(p, scope)
                      invariants.append(fluent)
                  return invariants