docs: def next_state_fluent_ordering(self) -> List[str]:
          '''The list of next state-fluent names in canonical order.
  
          Returns:
              List[str]: A list of fluent names.
          '''
          key = lambda x: x.name
          return [cpf.name for cpf in sorted(self.state_cpfs, key=key)]