Added tests for prov-N