Added a failing example in rdf for PROV, but it does not fail.
This shows there is a bug, I will mention it in issue #4.