Slow on simple test with multiple `distinct`s
Colibri2 is slow on the following file distincts1.smt2 Commenting the lines 18, 19 makes it go significantly faster, but it is still relatively slow, since the goal is trivial. This is linked to the discussion on how to handle crafted array goals from the SMT-LIB.