Add failing PML+K testcase

src/testsuite/cool-testsuite.ml

@@ -120,6 +120,7 @@ let testcases =
     ; use_functor "PML + K"
         [ sat "(P4 + False)"
         ; sat "(({>= 3/5} p0 & {>= 2/5} p1) + False)"
+        ; sat "({>= 3/5} (False + <R1> True & <R2> True) & {>= 2/5} ({>= 1/10} p0 & {>= 1/10} (~ p0) + False ) + False)"
         ]
     ]