docs: def state_cpfs(self) -> List[CPF]:
          '''Returns list of state-fluent CPFs.'''
          _, cpfs = self.cpfs
          state_cpfs = []
          for cpf in cpfs:
              name = utils.rename_next_state_fluent(cpf.name)
              if name in self.state_fluents:
                  state_cpfs.append(cpf)
          state_cpfs = sorted(state_cpfs, key=lambda cpf: cpf.name)
          return state_cpfs