From f4135fbd14a7ce18ea805bc9935ffb71d9c1e3a8 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Wed, 13 Nov 2019 18:42:46 +0100
Subject: [PATCH] ToJaniConverter: Fixed detection of accessing modules of
 variables: The likelihood expression was not taken into account before.

---
 src/storm/storage/prism/ToJaniConverter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/storage/prism/ToJaniConverter.cpp b/src/storm/storage/prism/ToJaniConverter.cpp
index 8c9f624ed..f6097aaec 100644
--- a/src/storm/storage/prism/ToJaniConverter.cpp
+++ b/src/storm/storage/prism/ToJaniConverter.cpp
@@ -166,6 +166,7 @@ namespace storm {
                 for (auto const& command : module.getCommands()) {
                     command.getGuardExpression().getBaseExpression().gatherVariables(variables);
                     for (auto const& update : command.getUpdates()) {
+                        update.getLikelihoodExpression().gatherVariables(variables);
                         for (auto const& assignment : update.getAssignments()) {
                             assignment.getExpression().getBaseExpression().gatherVariables(variables);
                             variables.insert(assignment.getVariable());