Minor fix for the case where assert false (#697)

Src/PCompiler/CompilerCore/Backend/IRTransformer.cs

@@ -352,6 +352,11 @@ private List<IPStmt> SimplifyStatement(IPStmt statement)
                 case AssertStmt assertStmt:
                     (var assertExpr, var assertDeps) = SimplifyExpression(assertStmt.Assertion);
                     (var messageExpr, var messageDeps) = SimplifyExpression(assertStmt.Message);
+                    if (assertExpr is BoolLiteralExpr)
+                    {
+                        return assertDeps.Concat(messageDeps).Concat(new []{new AssertStmt(location, assertExpr, messageExpr)}).ToList();
+                    }
+
                     var ifStmtForAssert = new IfStmt(location, assertExpr, new NoStmt(location), new CompoundStmt(
                         location, messageDeps.Concat(new[]
                         {

Tst/RegressionTests/Feature3Exprs/Correct/assertMessage2/assertMessage2.p

@@ -0,0 +1,15 @@
+machine Main {
+  start state Init {
+    entry {
+      var m: map[int, int];
+      assert !(1 in m), format("Yay! {0}", m[1]);
+    }
+  }
+}
+
+fun foo() : int {
+  if($)
+    return 0;
+
+  assert false, "A";
+}