Let it compile even if mkRule_CL is not ready

CoAlgLogics.ml

@@ -170,6 +170,8 @@ let mkRule_CL sort bs sl =
           C_i pairwise disjoint and I maximal
         }
   *)
+  (* just do this to let it compile... *)
+  mkRule_MultiModalK sort bs sl
 
 let mkRule_Choice sort bs sl =
   assert (List.length sl = 2);