docs: def rename_next_state_fluent(name: str) -> str:
      '''Returns next state fluent canonical name.
  
      Args:
          name (str): The current state fluent name.
  
      Returns:
          str: The next state fluent name.
      '''
      i = name.index('/')
      functor = name[:i-1]
      arity = name[i+1:]
      return "{}/{}".format(functor, arity)