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");
     }
   }