teco.eval.specs is lack

Teco is pretty work.
I'm trying to reproduce it.
However, when I execute the following command, I meet some problems:
```
inv exp.gen-subset-preds --setup CSNm --model SingleEvaluator-teco-norr --from-set eval-any-stmt/test --to-set eval-runnable-any-stmt/test
```
The problem is caused by the lack of teco.eval.specs.
Can you share this file with me? 
Thank you very much.