diff --git a/nac3standalone/src/main.rs b/nac3standalone/src/main.rs
index 41983a48..a0bb464a 100644
--- a/nac3standalone/src/main.rs
+++ b/nac3standalone/src/main.rs
@@ -122,9 +122,11 @@ fn main() {
         .unwrap();
 
     let mut identifiers = vec!["output".to_string()];
-    inferencer
+    if !inferencer
         .check_block(&statements, &mut identifiers)
-        .unwrap();
+        .unwrap() {
+        panic!("expected return");
+    }
 
     let top_level = Arc::new(TopLevelContext {
         definitions: Arc::new(RwLock::new(std::mem::take(