diff --git a/collects/deinprogramm/DMdA.ss b/collects/deinprogramm/DMdA.ss
index 5a6733fea2..a4fc2bae62 100644
--- a/collects/deinprogramm/DMdA.ss
+++ b/collects/deinprogramm/DMdA.ss
@@ -985,8 +985,11 @@
 			      (raise-syntax-error #f "inkorrekte `for-all'-Klausel - sollte die Form (id contr) haben"
 						  pr))))
 			 (syntax->list #'(?clause ...)))))
-       #'(quickcheck:property 
-	  ((?id ?arb) ...) ?body)))
+
+       (stepper-syntax-property #'(quickcheck:property 
+				   ((?id ?arb) ...) ?body)
+				'stepper-skip-completely
+				#t)))
     ((_ ?something ?body)
      (raise-syntax-error #f "keine Klauseln der Form (id contr)"
 			 stx))