From 07402362c29dc5de03cb6203ef0812a9da362beb Mon Sep 17 00:00:00 2001
From: Christoph Egger <Christoph.Egger@fau.de>
Date: Sat, 21 May 2016 03:50:33 +0200
Subject: [PATCH] Consider also other modal operators as valid guards

---
 src/lib/CoAlgFormula.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/lib/CoAlgFormula.ml b/src/lib/CoAlgFormula.ml
index 8d50b9a..dcc1856 100644
--- a/src/lib/CoAlgFormula.ml
+++ b/src/lib/CoAlgFormula.ml
@@ -774,8 +774,8 @@ let rec verifyMuGuarded unguarded formula =
   | ENFORCES (_,a) | ALLOWS   (_,a)
   | MIN (_,_,a)    | MAX (_,_,a)
   | ATLEASTPROB (_, a) | LESSPROBFAIL (_, a)
-  | MORETHAN (_,_,a) | MAXEXCEPT (_,_,a) -> proc a
-  | ID(a) -> proc a
+  | MORETHAN (_,_,a) | MAXEXCEPT (_,_,a) -> verifyMuGuarded [] a
+  | ID(a) -> verifyMuGuarded [] a
   | NORM(a, b) | NORMN(a, b) -> (proc a; proc b)
   | CHC (a,b)  -> (proc a ; proc b)
   | FUS (_,a) -> proc a
-- 
GitLab