--- a/testcases/constraints/unification-derivation-s4-PASS-c23.ttl	Thu Dec 06 10:36:03 2012 +0000
+++ b/testcases/constraints/unification-derivation-s4-PASS-c23.ttl	Thu Dec 06 10:40:34 2012 +0000
@@ -15,8 +15,6 @@
 
 ex:e2 prov:qualifiedDerivation ex:der1 .
 
-ex:use a prov:Usage .
-
 ex:der1 prov:hadUsage ex:use .
 
 ex:a a prov:Activity .

--- a/testcases/constraints/unification-derivation-s5-PASS-c23.ttl	Thu Dec 06 10:36:03 2012 +0000
+++ b/testcases/constraints/unification-derivation-s5-PASS-c23.ttl	Thu Dec 06 10:40:34 2012 +0000
@@ -15,12 +15,8 @@
 
 ex:e2 prov:qualifiedDerivation ex:der1 .
 
-ex:gen a prov:Generation .
-
 ex:der1 prov:hadGeneration ex:gen .
 
-ex:use a prov:Usage .
-
 ex:der1 prov:hadUsage ex:use .
 
 ex:a a prov:Activity .