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