Adding multi product lines to the theory, 1st version, a lot of things to solve still
Attempt of avoiding finite sets to reduce number of TCCs