diff --git a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
index 5e5a05dfa9..c40280d576 100644
--- a/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
+++ b/subprojects/xcfa/xcfa-cli/src/main/java/hu/bme/mit/theta/xcfa/cli/ExecuteConfig.kt
@@ -609,7 +609,7 @@ private fun postTraceGenerationLogging(
       "Writing post-verification artifacts to directory ${resultFolder.absolutePath}\n",
     )
 
-    val modelName = config.inputConfig.input!!.name
+    val modelName = config.inputConfig.input?.name ?: "anonymous"
     val graph = AbstractTraceSummaryVisualizer.visualize(abstractSummary)
     val visFile =
       resultFolder.absolutePath + File.separator + modelName + ".abstract-trace-summary.png"