Returns next state fluent canonical name.

    Args:
        name (str): The current state fluent name.

    Returns:
        str: The next state fluent name.

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)