Test to extract some part of generated PROV