diff --git a/tests/hu.bme.mit.gamma.tests/model/Spacecraft/System/Spacecraft.ggen b/tests/hu.bme.mit.gamma.tests/model/Spacecraft/System/Spacecraft.ggen
index d9f99df5c..8163b7519 100644
--- a/tests/hu.bme.mit.gamma.tests/model/Spacecraft/System/Spacecraft.ggen
+++ b/tests/hu.bme.mit.gamma.tests/model/Spacecraft/System/Spacecraft.ggen
@@ -35,6 +35,7 @@ analysis {
 verification {
     language : XSTS-UPPAAL
     test-language : java
+    back-annotate-to-original : true
     file : "Spacecraft.xml"
     property-file : "Spacecraft.gpm"
 }
\ No newline at end of file