diff --git a/src/main/java/tmltranslator/tomappingsystemc2/MappedSystemCTask.java b/src/main/java/tmltranslator/tomappingsystemc2/MappedSystemCTask.java
index 18e40fb318780b089a113a525613c413dfcc325a..1069857f6a7ae791f7be1131314336351d045ed2 100644
--- a/src/main/java/tmltranslator/tomappingsystemc2/MappedSystemCTask.java
+++ b/src/main/java/tmltranslator/tomappingsystemc2/MappedSystemCTask.java
@@ -845,6 +845,7 @@ public class MappedSystemCTask {
                             noOfGuards++;
                         }
                     }
+                    code += "assert(false)" + SCCR + "abort()" + SCCR;
 
                 } else {
                     int indElseGuard = choice.getElseGuard(), newIndElseGuard = -1;