diff --git a/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/internal/ConstraintVerificationService.java b/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/internal/ConstraintVerificationService.java
index aa21f25fbb1e365579aa4cc0aff5d6ee6d43bccf..84e60c8cd211fa3758803b7a14151f9fdb002c33 100644
--- a/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/internal/ConstraintVerificationService.java
+++ b/org.fortiss.tooling.kernel/trunk/src/org/fortiss/tooling/kernel/internal/ConstraintVerificationService.java
@@ -25,6 +25,7 @@ import org.fortiss.tooling.kernel.extension.data.ITopLevelElement;
 import org.fortiss.tooling.kernel.introspection.IIntrospectionDetailsItem;
 import org.fortiss.tooling.kernel.introspection.KernelIntrospectionSystemService;
 import org.fortiss.tooling.kernel.introspection.items.ConstraintVerificationServiceIntrospectionDetailsItem;
+import org.fortiss.tooling.kernel.model.INamedElement;
 import org.fortiss.tooling.kernel.model.constraints.ConstrainedWithChecksum;
 import org.fortiss.tooling.kernel.model.constraints.ConstraintsFactory;
 import org.fortiss.tooling.kernel.model.constraints.IConstrained;
@@ -157,6 +158,9 @@ public final class ConstraintVerificationService extends
 	 */
 	private final boolean DEBUG = false;
 
+	/** Number used to annotate the traces. */
+	private int debug_trace_number = 0;
+
 	/**
 	 * @param constrained
 	 * @param constraint
@@ -185,7 +189,16 @@ public final class ConstraintVerificationService extends
 
 			res.save(oos, options);
 			if(DEBUG) {
-				FileOutputStream file = new FileOutputStream("/home/aravantinos/temp.xml");
+				String fileName = "/home/aravantinos/temp/constraints/temp" + debug_trace_number++;
+				String nameConstraint =
+						constraint instanceof INamedElement ? ((INamedElement)constraint).getName()
+								: constraint.toString();
+				String nameConstrained =
+						constrained instanceof INamedElement ? ((INamedElement)constrained)
+								.getName() : constrained.toString();
+				FileOutputStream file =
+						new FileOutputStream(fileName + "_" + nameConstraint + "_" +
+								nameConstrained + ".xml");
 				ObjectOutputStream oos2 = new ObjectOutputStream(file);
 				res.save(oos2, options);
 				oos2.close();