From a8ac3098a7fc4fe6e845a0288f2a4672d3318e29 Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Mon, 8 Jan 2024 15:18:42 +0100
Subject: [PATCH] default formulas to false

This will be changed to remove the unnecessary guards instead
---
 util/PrismFormulaPrinter.cpp | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/util/PrismFormulaPrinter.cpp b/util/PrismFormulaPrinter.cpp
index 3b4e0c9..ef2f5a5 100644
--- a/util/PrismFormulaPrinter.cpp
+++ b/util/PrismFormulaPrinter.cpp
@@ -76,6 +76,8 @@ namespace prism {
       for(const auto& [direction, relativePosition] : getRelativeSurroundingCells()) {
         printSlipRestrictionFormula(agentName, direction);
       }
+    } else {
+      os << buildFormula(agentName + "IsOnSlippery", "false");
     }
     printIsOnFormula(agentName, "Lava", lava);
     printIsOnFormula(agentName, "Goal", goals);
@@ -113,6 +115,8 @@ namespace prism {
     if(conditionalMovementRestrictions.size() > 0) {
       os << buildFormula(agentName + "CannotMoveConditionally", vectorToDisjunction(conditionalMovementRestrictions));
       os << buildFormula(agentName + "IsCarrying", vectorToDisjunction(portableObjects));
+    } else {
+      os << buildFormula(agentName + "CannotMoveConditionally", "false");
     }
   }