diff --git a/util/PrismModulesPrinter.cpp b/util/PrismModulesPrinter.cpp
index 5e27ad7..cf91edc 100644
--- a/util/PrismModulesPrinter.cpp
+++ b/util/PrismModulesPrinter.cpp
@@ -278,6 +278,7 @@ namespace prism {
     agentNameActionMap.at(a).insert({actionId, actionName});
     std::string guard = "  " + actionName;
     if(slipperyBehaviour()) guard += " !" + a + "IsOnSlippery & ";
+    if(anyLava)             guard += " !" + a + "IsOnLava &";
     guard += cond + " -> ";
     return guard;
   }