diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index 5e27ad7..f409d64 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -276,8 +276,9 @@ namespace prism {
   std::string PrismModulesPrinter::printTurnGuard(const AgentName &a, const std::string &direction, const ActionId &actionId, const std::string &cond) {
     std::string actionName = "[" + a + "_turn_" + direction + "]";
     agentNameActionMap.at(a).insert({actionId, actionName});
-    std::string guard = "  " + actionName;
+    std::string guard = "  " + actionName + " & ";
     if(slipperyBehaviour()) guard += " !" + a + "IsOnSlippery & ";
+    if(anyLava)             guard += " !" + a + "IsOnLava &";
     guard += cond + " -> ";
     return guard;
   }