A strange bug appeared.

when we were evaluating the truth table a wild index out of bounds appeared
Evaluating without problems at all

We need to check why Python decides to kill the process while evaluation from 1 to 20 starts; I don't think there's a lot of things to evaluate, maybe we could stop using so many threads (almost 28 checking with htop) in order to avoid having copies of many variables.