Bugfix: simulator should not show zero prob/rate transitions.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3121 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/simulator/Updater.java

@@ -311,6 +311,9 @@ public class Updater
 				// probability expression has probably been simplified from original form.
 				throw new PrismLangException(s, ups);
 			}
+			// Skip transitions with zero probability/rate
+			if (p == 0)
+				continue;
 			sum += p;
 			list = new ArrayList<Update>();
 			list.add(ups.getUpdate(i));