Crashes from the master branch

Colibri2 crashes on the following tests:

crash1.smt2 results in:

(error "Error Uncaught exception:       
              File "colibri2/theories/LRA/product.ml", line 194, characters 8-14: Assertion failed
...

crash2.smt2 results in:

(error "Error Uncaught exception:       
              Calcium.CA.Incomplete
...