Benchmark Disjunction

[dourouc05]

As discussed during the JuliaCon, a recursive approach (i.e. disjunction only between two constraints) could solve some issues. But benchmarking is required.

[dourouc05]

Maybe we could take a look at https://github.com/mlubin/18.337/blob/master/operators.jl when writing the benchmark