diff --git a/src/testsuite/cool-testsuite.ml b/src/testsuite/cool-testsuite.ml
index a093b05ca8eae69ab5bb85d27546a1131bbd643c..75371e7a8aa2c73bc6c3d7ed52e843b5b7572c22 100644
--- a/src/testsuite/cool-testsuite.ml
+++ b/src/testsuite/cool-testsuite.ml
@@ -41,11 +41,22 @@ let kd_testcases =
     ; c Unsat "C |- [R] ~C"
     ]
 
+let cl_testcases =
+    let c a b = (a,cl,b) in
+    [ c Unsat "[{1}] C & [{ 2 }] ~C"
+    ; c Sat   "[{1}] C & <{ 2 }> ~C"
+    ; c Unsat "[{1}] C & <{ 1 2 }> ~C"
+    ; c Sat   "<{ 1 2 }> C & <{ 1 2 }> ~C"
+    ; c Unsat "<{ 1 2 }> C & [{ 1 2 }] ~C"
+    ; c Sat   "([{1 3}] C) & ([{ 2 3 }] ~C )"
+    ]
+
 let testcases =
     let c name table = (name,table) in
     [ c "K"  k_testcases
     ; c "Nominals" nominal_testcases
     ; c "KD" kd_testcases
+    ; c "CL" cl_testcases
     ]
 
 let main =