--- a/testcases/constraints/unification-membership-f1-FAIL-DM.provn	Wed Jan 09 12:55:48 2013 +0000
+++ b/testcases/constraints/unification-membership-f1-FAIL-DM.provn	Wed Jan 09 12:58:20 2013 +0000
@@ -1,10 +1,10 @@
-document
-
-prefix ex <http://example.org/>
-
-entity(ex:e1)
-entity(ex:e2)
-
-hadMember(ex:e2, -)
-
+document
+
+prefix ex <http://example.org/>
+
+entity(ex:e1)
+entity(ex:e2)
+
+hadMember(ex:e2, -)
+
 endDocument

--- a/testcases/provo/prov-o-class-EntityInfluence-PASS.provn	Wed Jan 09 12:55:48 2013 +0000
+++ b/testcases/provo/prov-o-class-EntityInfluence-PASS.provn	Wed Jan 09 12:58:20 2013 +0000
@@ -5,7 +5,5 @@
 entity(def:rawData)
 used(def:sortActivity,def:rawData,-)
 wasGeneratedBy(def:sortedData,def:sortActivity,-)
-used(def:sortActivity,def:datasetA,-,[prov:type='prov:EntityInfluence', prov:role="http://example.com/inputToBeSorted" %% xsd:string, prov:role="org.openprovenance.prov.xml.AnyRef@5b4975d2[
-  ref={http://example.com/}inputToBeSorted
-]" %% prov:unknownLiteral])
+used(def:sortActivity,def:datasetA,-,[prov:role='def:inputToBeSorted'])
 endDocument

--- a/testcases/provo/prov-o-class-Usage-PASS.provn	Wed Jan 09 12:55:48 2013 +0000
+++ b/testcases/provo/prov-o-class-Usage-PASS.provn	Wed Jan 09 12:58:20 2013 +0000
@@ -8,7 +8,5 @@
 wasGeneratedBy(def:datasetB,def:sortActivity,-)
 wasGeneratedBy(def:datasetB,def:sortActivity,-)
 wasGeneratedBy(def:datasetB,def:sortActivity,-)
-used(def:sortActivity,def:datasetA,-,[prov:role="http://example.com/inputToBeSorted" %% xsd:string, prov:role="org.openprovenance.prov.xml.AnyRef@4586793e[
-  ref={http://example.com/}inputToBeSorted
-]" %% prov:unknownLiteral])
+used(def:sortActivity,def:datasetA,-,[prov:role='def:inputToBeSorted'])
 endDocument