adversaries are allowed to move on goal

util/PrismModulesPrinter.cpp

@@ -249,7 +249,7 @@ namespace prism {
     std::string guard = "  " + actionName + " " + viewVariable(a, viewDirection);
     if(slipperyBehaviour())      guard += " & !" + a + "IsOnSlippery";
     if(anyLava)                  guard += " & !" + a + "IsOnLava";
-    if(anyGoals)            guard += " & !" + a + "IsOnGoal";
+    if(anyGoals && a == "Agent") guard += " & !" + a + "IsOnGoal";
     guard += " & !" + a + "CannotMove" + direction + "Wall";
     if(anyPortableObject() || !lockedDoors.empty() || !unlockedDoors.empty()) guard += " & !" + a + "CannotMoveConditionally";
     guard += " -> ";