Added tests for PROV-O