bench test error Colibri2 Dolmen_std.Expr.Term.Wrong_type

[felixL-K]

Nummber of tests : 17
Tests: 1040, 1089, 125, 129, 136, 137, 152, 696, 753, 782, 788, 791, 792, 811, 827, 833, 835
Error:
owi: internal error, uncaught exception:
Dolmen_std.Expr.Term.Wrong_type(_, _)
Raised at Stdlib__Domain.join in file "domain.ml", line 258, characters 16-24
Called from Stdlib__Array.iter in file "array.ml", line 92, characters 31-48
Called from Owi__Wq.read_as_seq in file "src/data_structures/wq.ml", line 17, characters 4-16
Called from Owi__Cmd_sym.print_and_count_failures.aux in file "src/cmd/cmd_sym.ml", line 133, characters 10-20
Called from Owi__Cmd_sym.handle_result in file "src/cmd/cmd_sym.ml", line 199, characters 4-190
Called from Cmdliner_term.app.(fun) in file "cmdliner_term.ml", line 24, characters 19-24
Called from Cmdliner_eval.run_parser in file "cmdliner_eval.ml", line 35, characters 37-44