Optimization of the BDD generation. Non-redudancy and uniqueness generation, avoiding a costly reduce process building the BDD.
The aim is to optimize the reduce algorithm, and maybe some time after, paralelize it.