The problem happens during tests with the tests done with
Fatal error: exception "Assert_failure src/alacris_lib/side_chain_operator.ml:677:17"
Raised at file "string.ml", line 114, characters 19-34
Called from file "sexp.ml", line 112, characters 13-47```
I think the problem is because we have different operators being used in the same code.
The problem happens during tests with the tests done with