[ADT] choice on filed of type bool was not done.

      It is complicated to know who is responsible for this choice

src_colibri2/theories/ADT/adt.ml

@@ -122,8 +122,12 @@ let converter d (f : Ground.t) =
    app = { builtin = Expr.Destructor { case; field; adt; _ }; _ };
    args;
    tyargs;
+   ty;
    _;
   } ->
+      (* not completely satisfactory but needed, it is not yet clear who has the responsibility of choice for booleans *)
+      if Ground.Ty.(equal ty bool) then
+        Choice.register_thterm d (Ground.thterm f) (Boolean.chobool r);
       let case = case_of_int case in
       let field = field_of_int field in
       let adt = Option.value_exn (Adt_value.MonoAdt.index adt tyargs) in