
- Scatter expand nemuze mit TT
- RemoveAbsorbed takes a lot of time

Todo:
- CP does not support consensus covers. Create all intersections? (it is in GenerateCoverVector).
- implpool s TT, ale v TT zustavaji vsechny termy, i smazane